fact: Definition genSTLRTree (n : nat) := @arbitraryST _ (fun foo => LRTree foo) _.
imports: QuickChick(QuickChick Tactics Instances Classes DependentClasses) String List mathcomp(ssreflect ssrfun ssrbool ssrnat eqtype seq) DependentTest