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