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.