sig
  type ('a, 'b) t = (('a, 'b) Bdd.Env.t, 'b Bdd.Expr0.t list) Bdd.Env.value
  type 'a dt = ('a, Cudd.Man.d) Bdd.Expr1.List.t
  type 'a vt = ('a, Cudd.Man.v) Bdd.Expr1.List.t
  val of_lexpr0 :
    ('a, 'b) Bdd.Env.t -> 'b Bdd.Expr0.t list -> ('a, 'b) Bdd.Expr1.List.t
  val get_env : ('a, 'b) Bdd.Expr1.List.t -> ('a, 'b) Bdd.Env.t
  val to_lexpr0 : ('a, 'b) Bdd.Expr1.List.t -> 'b Bdd.Expr0.t list
  val of_lexpr :
    ('a, 'b) Bdd.Env.t ->
    ('a, 'b) Bdd.Expr1.expr list -> ('a, 'b) Bdd.Expr1.List.t
  val to_lexpr : ('a, 'b) Bdd.Expr1.List.t -> ('a, 'b) Bdd.Expr1.expr list
  val extend_environment :
    ('a, 'b) Bdd.Expr1.List.t ->
    ('a, 'b) Bdd.Env.t -> ('a, 'b) Bdd.Expr1.List.t
  val print :
    ?first:(unit, Format.formatter, unit) Pervasives.format ->
    ?sep:(unit, Format.formatter, unit) Pervasives.format ->
    ?last:(unit, Format.formatter, unit) Pervasives.format ->
    Format.formatter -> ('a, 'b) Bdd.Expr1.List.t -> unit
end