sig
  type subst = Subst.subst
  type raw_context_unifier = Context_unifier.raw_context_unifier
  val make_admissible :
    Config.config ->
    Admissible.raw_context_unifier ->
    Admissible.subst -> bool array -> Admissible.subst
end