Module Libzipperposition_calculi.Higher_order
val prim_enum_terms : Logtk.Term.Set.t Pervasives.ref
module type S = sig ... end
As Extension
val extension : Libzipperposition.Extensions.t
Libzipperposition_calculi.Higher_order
val prim_enum_terms : Logtk.Term.Set.t Pervasives.ref
module type S = sig ... end
val extension : Libzipperposition.Extensions.t