Module type `Ctx.PARAMETERS`

val signature : Logtk.Signature.t
val ord : Logtk.Ordering.t
val select : Selection.t
val eta : [ `Reduce | `Expand | `None ]
val sk_ctx : Logtk.Skolem.ctx