sig
  type t
  val empty : unit -> Logic_typing.Lenv.t
  val add_var :
    string ->
    Cil_types.logic_var -> Logic_typing.Lenv.t -> Logic_typing.Lenv.t
  val add_type_var :
    string ->
    Cil_types.logic_type -> Logic_typing.Lenv.t -> Logic_typing.Lenv.t
  val add_logic_info :
    string ->
    Cil_types.logic_info -> Logic_typing.Lenv.t -> Logic_typing.Lenv.t
  val add_logic_label :
    string ->
    Cil_types.logic_label -> Logic_typing.Lenv.t -> Logic_typing.Lenv.t
  val find_var : string -> Logic_typing.Lenv.t -> Cil_types.logic_var
  val find_type_var : string -> Logic_typing.Lenv.t -> Cil_types.logic_type
  val find_logic_info : string -> Logic_typing.Lenv.t -> Cil_types.logic_info
  val find_logic_label :
    string -> Logic_typing.Lenv.t -> Cil_types.logic_label
end