Module Cond.O

module O: sig .. end

type ('a, ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t) t = ('a, ('a, [> 'a Env.typ ] as 'c, [> 'a Env.typdef ] as 'd, 'b) Env.O.t,
        'a Cond.cond, Cudd.Man.v)
       Bdd.Cond.t 

val make : symbol:'a Bdd.Env.symbol ->
       ?bddindex0:int ->
       ?bddsize:int ->
       Cudd.Man.vt ->
       ('a, ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t) t