sig
type ('a, 'b, 'c) t = ('b, 'c Bdd.Expr0.t list) Bdd.Env.value
constraint 'b =
('a, [> 'a Bdd.Env.typ ] as 'd, [> 'a Bdd.Env.typdef ] as 'e, 'c, 'f)
Bdd.Env.O.t
type ('a, 'b) dt = ('a, 'b, Cudd.Man.d) Bdd.Expr1.O.List.t
constraint 'b =
('a, [> 'a Bdd.Env.typ ] as 'c, [> 'a Bdd.Env.typdef ] as 'd,
Cudd.Man.d, 'e)
Bdd.Env.O.t
type ('a, 'b) vt = ('a, 'b, Cudd.Man.v) Bdd.Expr1.O.List.t
constraint 'b =
('a, [> 'a Bdd.Env.typ ] as 'c, [> 'a Bdd.Env.typdef ] as 'd,
Cudd.Man.v, 'e)
Bdd.Env.O.t
val of_lexpr0 :
('a, [> 'a Bdd.Env.typ ] as 'b, [> 'a Bdd.Env.typdef ] as 'd, 'c, 'e)
Bdd.Env.O.t ->
'c Bdd.Expr0.t list ->
('a, ('a, 'b, 'd, 'c, 'e) Bdd.Env.O.t, 'c) Bdd.Expr1.O.List.t
val get_env :
('a,
('a, [> 'a Bdd.Env.typ ] as 'b, [> 'a Bdd.Env.typdef ] as 'd, 'c, 'e)
Bdd.Env.O.t, 'c)
Bdd.Expr1.O.List.t -> ('a, 'b, 'd, 'c, 'e) Bdd.Env.O.t
val to_lexpr0 :
('a,
('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'c, 'b) Bdd.Env.O.t,
'c)
Bdd.Expr1.O.List.t -> 'c Bdd.Expr0.t list
val of_lexpr :
('a, [> 'a Bdd.Env.typ ] as 'b, [> 'a Bdd.Env.typdef ] as 'd, 'c, 'e)
Bdd.Env.O.t ->
('a, ('a, 'b, 'd, 'c, 'e) Bdd.Env.O.t, 'c) Bdd.Expr1.O.expr list ->
('a, ('a, 'b, 'd, 'c, 'e) Bdd.Env.O.t, 'c) Bdd.Expr1.O.List.t
val to_lexpr :
('a,
('a, [> 'a Bdd.Env.typ ] as 'b, [> 'a Bdd.Env.typdef ] as 'd, 'c, 'e)
Bdd.Env.O.t, 'c)
Bdd.Expr1.O.List.t ->
('a, ('a, 'b, 'd, 'c, 'e) Bdd.Env.O.t, 'c) Bdd.Expr1.O.expr list
val extend_environment :
('a,
('a, [> 'a Bdd.Env.typ ] as 'b, [> 'a Bdd.Env.typdef ] as 'd, 'c, 'e)
Bdd.Env.O.t, 'c)
Bdd.Expr1.O.List.t ->
('a, 'b, 'd, 'c, 'e) Bdd.Env.O.t ->
('a, ('a, 'b, 'd, 'c, 'e) Bdd.Env.O.t, 'c) Bdd.Expr1.O.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,
('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'c, 'b) Bdd.Env.O.t,
'c)
Bdd.Expr1.O.List.t -> unit
end