Module Cil_datatype.Typ

module Typ: sig .. end
Types, with comparison over struct done by key and unrolling of typedefs.

include Cil_datatype.S_with_collections_pretty
val toplevel_attr : t -> Cil_types.attributes
returns the attributes associated to the toplevel type, without adding attributes from compinfo, enuminfo or typeinfo. Use Cil.typeAttrs to retrieve the complete set of attributes.