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