package codex

  1. Overview
  2. Docs
package codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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