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