fact: Record Args := MkArgs { replay : option (RandomSeed * nat); maxSuccess : nat; maxDiscard : nat; maxShrinks : nat; maxSize : nat; chatty : bool; analysis : bool }.
imports: mathcomp.ssreflect.ssreflect mathcomp(ssrnat ssrbool eqtype div) ExtLib(Structures.Monad) SimpleIO(SimpleIO) QuickChick(RoseTrees RandomQC Generators Producer SemChecker) QuickChick(Show Checker State Classes) Coq.Strings.Ascii Coq.Strings.String List Recdef Arith.EqNat