Module Protein.Abstract.BMD

module BMD: sig  end

Characteristics of the abstract Boolean Multiplexor Domain.

type interfid =

`\|`	`Input`	`(*`	`Acceptor, Boolean`	`*)`
`\|`	`Output of int`	`(*`	`Expressor, Boolean`	`*)`

val get_interf_character : interfid -> Protein.Abstract.interf_character

type initstate = unit

type state = unit

type config = int

Configured by number of expressors

type cons = initstate * config

val num_lbprojs : int

val num_sbprojs : int