module Test.QuickCheck
(Var "==>",Value {args = 2, fixity = R, priority = 0, letBound = True, traced = False})
(Var "check",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "choose",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "classify",Value {args = 2, fixity = None, priority = 1, letBound = True, traced = False})
(Var "collect",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "elements",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "forAll",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "four",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "frequency",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "label",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "oneof",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "promote",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "quickCheck",Value {args = 0, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "rand",Value {args = 0, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "resize",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "sized",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "test",Value {args = 0, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "three",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "trivial",Value {args = 0, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "two",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "variant",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "vector",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "verboseCheck",Value {args = 0, fixity = Def, priority = 9, letBound = True, traced = False})
(Con Data "Config" "Config",Value {args = 4, fixity = Def, priority = 9, letBound = True, traced = False})
(Field "Config" "every",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Field "Config" "maxFail",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Field "Config" "maxTest",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Field "Config" "size",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Method "Arbitrary" "arbitrary",Value {args = -1, fixity = Def, priority = 9, letBound = True, traced = False})
(Method "Arbitrary" "coarbitrary",Value {args = -1, fixity = Def, priority = 9, letBound = True, traced = False})
(Method "Testable" "property",Value {args = -1, fixity = Def, priority = 9, letBound = True, traced = False})
(TypeClass "Arbitrary",TyCls (Cls ["arbitrary","coarbitrary"]))
(TypeClass "Config",TyCls (Ty ["Config"] ["maxTest","maxFail","size","every"]))
(TypeClass "Gen",TyCls (Ty [] []))
(TypeClass "Property",TyCls (Ty [] []))
(TypeClass "Result",TyCls (Ty [] []))
(TypeClass "Testable",TyCls (Cls ["property"]))
