Module Bdd.Env.O

module O: sig .. end

type ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) t = ('a, [> 'a Bdd.Env.typ ] as 'b, [> 'a Bdd.Env.typdef ] as 'c, 'd, 'e)
       Bdd.Env.t0 

val make : symbol:'a Bdd.Env.symbol ->
       copy_ext:('e -> 'e) ->
       ?bddindex0:int ->
       ?bddsize:int ->
       ?relational:bool ->
       'd Cudd.Man.t ->
       'e -> ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) t

val print : (Format.formatter -> ([> 'a Bdd.Env.typ ] as 'b) -> unit) ->
       (Format.formatter -> ([> 'a Bdd.Env.typdef ] as 'c) -> unit) ->
       (Format.formatter -> 'e -> unit) ->
       Format.formatter -> ('a, 'b, 'c, 'd, 'e) t -> unit