sig
  type config = Config.config
  type bound = Bound.bound
  type var = Var.var
  type literal = Term.literal
  type clause = Term.clause
  type subst = Subst.subst
  type context_unifier_space = Context_unifier.context_unifier_space
  type context_partners = Context_unifier.context_partners
  type raw_context_unifier = Context_unifier.raw_context_unifier
  val check_close :
    Context_unifier_check.config ->
    Context_unifier_check.subst ->
    Context_unifier_check.context_unifier_space ->
    Context_unifier_check.context_partners ->
    Context_unifier_check.raw_context_unifier option
  val check_assert :
    Context_unifier_check.config ->
    Context_unifier_check.bound ->
    Context.context ->
    Context_unifier_check.subst ->
    Context_unifier_check.context_unifier_space ->
    Context_unifier_check.context_partners ->
    bool -> Context_unifier_check.raw_context_unifier option
  val check_split :
    Context_unifier_check.config ->
    Context_unifier_check.bound ->
    Context_unifier_check.subst ->
    Context_unifier_check.context_unifier_space ->
    Context_unifier_check.context_partners ->
    bool -> Context_unifier_check.raw_context_unifier option
end