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