module Env: sig .. end
type 'a t
val pp : Format.formatter -> 'a t -> unit
val empty : 'a Syntax.context -> 'a t
val of_set : 'a Syntax.context -> Syntax.Symbol.Set.t -> 'a t
val of_enum : 'a Syntax.context -> Syntax.symbol BatEnum.t -> 'a t
val of_list : 'a Syntax.context -> Syntax.symbol list -> 'a t
val vars : 'a t -> Syntax.symbol BatEnum.t
val dimensions : 'a t -> int BatEnum.t
val mem : Syntax.symbol -> 'a t -> bool
val int_dim : 'a t -> int
val real_dim : 'a t -> int
val dimension : 'a t -> int
val var_of_dim : 'a t -> int -> Syntax.symbol
val dim_of_var : 'a t -> Syntax.symbol -> int
val filter : (Syntax.symbol -> bool) -> 'a t -> 'a t