Measuring Star Formation Histories from Asymptotic Giant Branch Stars. I. A Demonstration in M31 | Synapse