Module Env.O

module O: sig .. end

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

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

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