165
164
# @members: the object type's (non-variant) members, in no particular order.
168
167
# An element of @members with this name must exist.
171
170
# depend on the type tag's value. Present exactly when
172
171
# @tag is present. The variants are in no particular order,
173
172
# and may even differ from the order of the values of the