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