sig
  type ('a, 'b, 'c, 'd) t = ('a, 'b, 'c, 'd) Bddapron.Env.t0
    constraint 'b = [> 'a Bddapron.Env.typ ]
    constraint 'c = [> 'a Bddapron.Env.typdef ]
  val make :
    symbol:'a Bddapron.Env.symbol ->
    copy_aext:('d -> 'd) ->
    ?bddindex0:int ->
    ?bddsize:int ->
    ?relational:bool ->
    Cudd.Man.vt ->
    'd ->
    ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t
  val print :
    (Format.formatter -> ([> 'a Bddapron.Env.typ ] as 'b) -> unit) ->
    (Format.formatter -> ([> 'a Bddapron.Env.typdef ] as 'c) -> unit) ->
    (Format.formatter -> 'd -> unit) ->
    Format.formatter -> ('a, 'b, 'c, 'd) Bddapron.Env.O.t -> unit
end