Module Environment

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