sig
  type ('a, 'b, 'c, 'd) t = ('a, 'b, 'c, 'd) Env.t0
    constraint 'b = [> 'a Env.typ ] constraint 'c = [> 'a Env.typdef ]
  val make :
    symbol:'a Env.symbol ->
    copy_aext:('b -> 'b) ->
    ?bddindex0:int ->
    ?bddsize:int ->
    ?relational:bool ->
    Cudd.Man.vt ->
    'b -> ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.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, 'd) Env.O.t -> unit
end