module Types:sig
..end
Logic_typing.Make
val find_enum_tag : string -> Cil_types.exp * Cil_types.typ
Not_found
when no such constant exists.val find_type : Logic_typing.type_namespace -> string -> Cil_types.typ
Not_found
when no such type exists.