Module Condition.CuddTreeSource

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