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