Module ArTerm

module ArTerm: sig .. end

Arbitrary Typed Terms and Formulas



type 'a arbitrary = 'a QCheck.arbitrary 
type 'a gen = 'a QCheck.Gen.t 
val shrink : Libzipperposition.FOTerm.t QCheck.Shrink.t
val default_g : Libzipperposition.FOTerm.t gen
val default_fuel : int -> Libzipperposition.FOTerm.t gen
val default : Libzipperposition.FOTerm.t arbitrary
Default polymorphic term
val ground_g : Libzipperposition.FOTerm.t gen
val ground : Libzipperposition.FOTerm.t arbitrary
Default ground monomorphic term
val pred : Libzipperposition.FOTerm.t arbitrary
predicates (type "o")
val pos : Libzipperposition.FOTerm.t -> Libzipperposition.Position.t gen
Random valid position in the term

S Terms


module PT: sig .. end