sig
  type t
  val add : string -> float -> Calc.Env.t -> Calc.Env.t
  val mem : string -> Calc.Env.t -> bool
  val union : Calc.Env.t -> Calc.Env.t -> Calc.Env.t
  val of_list : (string * float) list -> Calc.Env.t
  val empty : Calc.Env.t
  val usual : Calc.Env.t
end