Module type Ctx.PARAMETERS

val signature : Logtk.Signature.t
val ord : Logtk.Ordering.t
val select : Selection.t