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