fact: Fixpoint eq_tree (t1 t2 : Tree nat) : bool := match t1, t2 with | Leaf, Leaf => true | Node x1 l1 r1, Node x2 l2 r2 => Nat.eqb x1 x2 && eq_tree l1 l2 && eq_tree r1 r2 | _, _ => false end.
imports: QuickChick(QuickChick) List ZArith String