Module type Ctx.PARAMETERS

module type PARAMETERS = sig .. end

val signature : Libzipperposition.Signature.t

val ord : Libzipperposition.Ordering.t

val select : Selection.t