sig
module type S = Ctx_intf.S
module Key : sig val lost_completeness : bool Flex_state.key end
module type PARAMETERS =
sig
val signature : Libzipperposition.Signature.t
val ord : Libzipperposition.Ordering.t
val select : Selection.t
end
module Make : functor (X : PARAMETERS) -> S
end