Parameter Make.1-X
val signature : Logtk.Signature.tval ord : Logtk.Ordering.tval select : Selection.tval sk_ctx : Logtk.Skolem.ctx
Make.1-Xval signature : Logtk.Signature.tval ord : Logtk.Ordering.tval select : Selection.tval sk_ctx : Logtk.Skolem.ctx