fact: Record Args := MkArgs { replay : option (RandomSeed * nat); maxSuccess : nat; maxDiscard : nat; maxShrinks : nat; maxSize : nat; chatty : bool }.
imports: mathcomp.ssreflect.ssreflect mathcomp(ssrbool) QuickChick ZArith Strings.Ascii Strings.String QuickChickInterface