Module Globals.Types

module Types: sig .. end
Types, or type-related information.


The two functions below are suitable for use in functor Logic_typing.Make
val find_enum_tag : string -> Cil_types.exp * Cil_types.typ
Find an enum constant from its name in the AST.
Raises Not_found when no such constant exists.
val find_type : Logic_typing.type_namespace -> string -> Cil_types.typ
Find a type from its name in the AST.
Raises Not_found when no such type exists.