module List: sig .. end
type ('a, 'b) t = (('a, 'b) Bdd.Env.t, 'b Bdd.Expr0.t list) Bdd.Env.value
type 'a dt = ('a, Cudd.Man.d) t
type 'a vt = ('a, Cudd.Man.v) t
val of_lexpr0 : ('a, 'b) Bdd.Env.t -> 'b Bdd.Expr0.t list -> ('a, 'b) t
val get_env : ('a, 'b) t -> ('a, 'b) Bdd.Env.t
val to_lexpr0 : ('a, 'b) t -> 'b Bdd.Expr0.t list
val of_lexpr : ('a, 'b) Bdd.Env.t ->
('a, 'b) Bdd.Expr1.expr list -> ('a, 'b) t
val to_lexpr : ('a, 'b) t -> ('a, 'b) Bdd.Expr1.expr list
val extend_environment : ('a, 'b) t -> ('a, 'b) Bdd.Env.t -> ('a, 'b) 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) t -> unit