sig
  type ('a, 'b, 'c, 'd, 'e) t = ('a, 'b, 'c, 'd, 'e) Bdd.Env.t0
    constraint 'b = [> 'a Bdd.Env.typ ]
    constraint 'c = [> 'a Bdd.Env.typdef ]
  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) Bdd.Env.O.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) Bdd.Env.O.t -> unit
end