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