Collection types
Collection types supported for references are set list and bag. All three types are considered simply as collections, because attributes as ordered and unique are defined with the indexes provided for the collection. A collection that does not have any index is considered as bag.
Definition:
coll_spec := set | list | bag