fact: Definition retrySized {A : Type} (g : G (option A)) : G (option A) := sized (fun n => retry n g).
imports: Coq(String List ZArith Lia) mathcomp.ssreflect.ssreflect mathcomp(ssrfun ssrbool ssrnat eqtype seq) QuickChick(RandomQC RoseTrees Sets Tactics Producer)