fact: Fixpoint genAnyTree_depth (d : nat) : G tree := match d with | 0 => returnGen Leaf | S d' => freq [(1, returnGen Leaf); (9, liftGen4 Node genColor (genAnyTree_depth d') arbitrary (genAnyTree_depth d'))] end.
imports: QuickChick(QuickChick Generators) Lia mathcomp(ssreflect ssrnat ssrbool eqtype) QuickChick.RedBlack(redblack) List String