sig
  type config = Config.config
  type bound = Bound.bound
  type subst = Subst.subst
  type context = Context.context
  type context_unifier_space = Context_unifier.context_unifier_space
  type context_partner = Context_unifier.context_partner
  type context_partners = Context_unifier.context_partners
  module type Search =
    sig
      val search_context_unifiers :
        Context_unifier_search.config ->
        Context_unifier_search.bound ->
        Context_unifier_search.context ->
        Context_unifier_search.context_unifier_space ->
        int ->
        Context_unifier_search.context_partner ->
        Context_unifier_search.subst -> bool
    end
  module SearchClose : Search
  module SearchAssert : Search
  module SearchSplit : Search
  module SearchCloseAssert : Search
  module SearchAll : Search
end