Module Cil_datatype.Attributes

module Attributes: sig .. end

include S_with_collections