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