Module Condition.CuddTree

type id = int
type 'a t =
  1. | TerminalNone
  2. | Terminal of id * 'a
  3. | Ite of id * ConditionCudd.t * 'a t * 'a t