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