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