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.
val iter_types : (string -> Cil_types.typ -> Logic_typing.type_namespace -> unit) -> unit
Iteration on named types (typedefs, structs, unions, enums). The first
argument is the name of type.
val global : Logic_typing.type_namespace -> string -> Cil_types.global
Find the global that defines the corresponding type.
Since Magnesium-20151001
Raises Not_found
if no such type has been defined.