The include Import Attribute


Within a #import directive, this attribute is

include ( "Name" [[ , "Name" ]...] )

and is one of only two that accept arbitrarily many arguments. This is however just a convenience. Names in one instance of the attribute become a list. Names in successive instances of the attribute add to the list.