Module ArTerm.PT
val shrink : Logtk.TypedSTerm.t QCheck.Shrink.tval default_fuel : int -> Logtk.TypedSTerm.t genval default_g : Logtk.TypedSTerm.t genval default : Logtk.TypedSTerm.t arbitraryDefault polymorphic term
val ground_g : Logtk.TypedSTerm.t genval ground : Logtk.TypedSTerm.t arbitraryDefault ground monomorphic term
val pred_g : Logtk.TypedSTerm.t genval pred : Logtk.TypedSTerm.t arbitrarypredicates (type "prop")