sig
  type interfid = Matcher
  val get_interf_character :
    Protein.Abstract.PDMatcher.interfid -> Protein.Abstract.interf_character
  type initstate = unit
  and state = unit
  and config = Ligand.Matcher.matcher
  and cons =
    Protein.Abstract.PDMatcher.initstate * Protein.Abstract.PDMatcher.config
  val num_lbprojs : int
  val num_sbprojs : int
end