module List: sig .. end
type 'a t = ('a Bddapron.Env.t, 'a Bddapron.Expr0.t list) Bddapron.Env.value
val of_lexpr0 : 'a Bddapron.Env.t -> 'a Bddapron.Expr0.t list -> 'a t
Creation from a list of expressions of level 0 (without
environment)
val get_env : 'a t -> 'a Bddapron.Env.t
val to_lexpr0 : 'a t -> 'a Bddapron.Expr0.t list
Extract resp. the environment and the underlying list of
expressions of level 0
val of_lexpr : 'a Bddapron.Env.t -> 'a Bddapron.Expr1.expr list -> 'a t
val to_lexpr : 'a t -> 'a Bddapron.Expr1.expr list
Conversion from/to lists of general expression
val extend_environment : 'a t -> 'a Bddapron.Env.t -> 'a t
val normalize : ?reduce:bool ->
?careset:bool ->
'a Bddapron.Cond.t * 'a t ->
'a Bddapron.Cond.t * 'a t
val print : ?first:(unit, Format.formatter, unit) Pervasives.format ->
?sep:(unit, Format.formatter, unit) Pervasives.format ->
?last:(unit, Format.formatter, unit) Pervasives.format ->
'a Bddapron.Cond.t -> Format.formatter -> 'a t -> unit