fact: Fixpoint genTreeSized' {A} (sz : nat) (g : G A) : G (Tree A) := match sz with | O => returnGen Leaf | S sz' => freq [ (1, returnGen Leaf) ; (sz, liftGen3 Node g (genTreeSized' sz' g) (genTreeSized' sz' g)) ] end.
imports: QuickChick(QuickChick) List ZArith String