sig
val find_enum_tag : string -> Cil_types.exp * Cil_types.typ
val find_type : Logic_typing.type_namespace -> string -> Cil_types.typ
val iter_types :
(string -> Cil_types.typ -> Logic_typing.type_namespace -> unit) -> unit
val global : Logic_typing.type_namespace -> string -> Cil_types.global
end