fact: Fixpoint eval (e : exp) : nat := match e with | ANum n => n | APlus e1 e2 => (eval e1) + (eval e2) | AMinus e1 e2 => (eval e1) - (eval e2) | AMult e1 e2 => (eval e1) * (eval e2) end.
imports: QuickChick(QuickChick)