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