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