Module type Ctx.PARAMETERS

module type PARAMETERS = sig .. end

val signature : Logtk.Signature.t

val ord : Logtk.Ordering.t

val select : Selection.t