Type:	Set[string]
	an unordered set of entities of type: string
Name:	tags
	user-specified tags for categorization purposes

Field is read-write

• Set[string] get_tags (session session_id, SR self)

  Get the tags field of the given SR.

• void set_tags (session session_id, SR self, Set[string] value)

  Set the tags field of the given SR.

• void add_tags (session session_id, SR self, string value)

  Add the given value to the tags field of the given SR. If the value is already in that Set, then do nothing.

• void remove_tags (session session_id, SR self, string value)

  Remove the given value from the tags field of the given SR. If the value is not in that Set, then do nothing.