Module Bddapron.Cond.O

module O: sig .. end

type ('a
       , ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'e)
         Bddapron.Env.O.t) t = ('a,
        ('a, [> 'a Bddapron.Env.typ ] as 'b, [> 'a Bddapron.Env.typdef ] as 'c, 'e)
        Bddapron.Env.O.t, 'a Bddapron.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 Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'b)
        Bddapron.Env.O.t)
       t