sig
type t
val from_file : Cil_types.file -> Environment.t
val find_global : Environment.t -> string -> Cil_types.varinfo
val find_function : Environment.t -> string -> Cil_types.varinfo
val find_typedef : Environment.t -> string -> Cil_types.typeinfo
val find_struct : Environment.t -> string -> Cil_types.compinfo
val find_union : Environment.t -> string -> Cil_types.compinfo
val find_enum : Environment.t -> string -> Cil_types.enuminfo
val find_type :
Environment.t -> Logic_typing.type_namespace -> string -> Cil_types.typ
end