||{paragraph The union of zero or more  {glossary citation="type", types }
|| may be denoted using  {ONE-OF }.  For example, the
|| {glossary type expression }  {ctext  {one-of int float } }  {glossary
|| citation="evaluate", evaluates } to a non- {glossary
|| representational type } that can be used to  {glossary declare } a  {glossary
|| variable } that can hold either an  {INT } or a  {FLOAT }. }