sig
  type interfid
  val input_defaults :
    Protein.Abstract.DOMDEF.interfid -> Protein.Abstract.conn_value
  val get_interf_character :
    Protein.Abstract.DOMDEF.interfid -> Protein.Abstract.interf_character
  type initstate
  and state
  val initmap :
    Protein.Abstract.DOMDEF.initstate -> Protein.Abstract.DOMDEF.state
  type config
  and cons =
    Protein.Abstract.DOMDEF.initstate * Protein.Abstract.DOMDEF.config
  val num_lbprojs : int
  val num_sbprojs : int
end