Module Cil_datatype.Attribute

module Attribute: sig .. end

include S_with_collections