module PT: sig .. end
val shrink : Libzipperposition.TypedSTerm.t QCheck.Shrink.t
val default_fuel : int -> Libzipperposition.TypedSTerm.t ArTerm.gen
val default_g : Libzipperposition.TypedSTerm.t ArTerm.gen
val default : Libzipperposition.TypedSTerm.t ArTerm.arbitrary
Default polymorphic term
val ground_g : Libzipperposition.TypedSTerm.t ArTerm.gen
val ground : Libzipperposition.TypedSTerm.t ArTerm.arbitrary
Default ground monomorphic term
val pred_g : Libzipperposition.TypedSTerm.t ArTerm.gen
val pred : Libzipperposition.TypedSTerm.t ArTerm.arbitrary
predicates (type "prop")