sig
  type interfid = Matcher of int | Repress | Bound
  val get_interf_character :
    Protein.Abstract.LBDE.interfid -> Protein.Abstract.interf_character
  type initstate = ActiveInitState | RepressedInitState
  and state = ActiveState | RepressedState | BoundState of string
  and extraction = int array
  and config = {
    num_matchers : int;
    extraction : Protein.Abstract.LBDE.extraction;
  } 
  and cons = Protein.Abstract.LBDE.initstate * Protein.Abstract.LBDE.config
  val num_lbprojs : int
  val num_sbprojs : int
end