fact: Definition qc_ {prop : Type} {_ : Checkable prop} (name : string) (a : Args) (p : prop) : Test := QuickChickTest name a (checker p).
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 ZArith