Parameter Make.1-X
val signature : Logtk.Signature.tval ord : Logtk.Ordering.tval select : Selection.tval eta : [ `Reduce | `Expand | `None ]val sk_ctx : Logtk.Skolem.ctx
Make.1-Xval signature : Logtk.Signature.tval ord : Logtk.Ordering.tval select : Selection.tval eta : [ `Reduce | `Expand | `None ]val sk_ctx : Logtk.Skolem.ctx