fact: Definition prop_gen_balanced_is_balanced := let fuel := 10 in forAll (choose (0,5)) (fun (n : nat) => forAllMaybe (genSizedST (fun t => balanced n t) fuel) (fun (t : Tree nat) => balanced n t ?? fuel)).
imports: QuickChick(QuickChick) mathcomp(ssrbool)