Parameter Make.1-X

val signature : Logtk.Signature.t
val ord : Logtk.Ordering.t
val select : Selection.t
val sk_ctx : Logtk.Skolem.ctx