
  TYPE
    clt$union_type_qualifier = record
      kinds: clt$type_kinds,
      only_standard_types_in_union: boolean,
      { The "standard" types have non-conflicting expression forms, therefore
      { an expression for a union of them can be evaluated without the need for
      { trying each type individually.  The "standard" types are:  boolean,
      { file, integer (if default radix is 10), name, real, status, string (if
      { not literal), string_pattern, and union (consisting only of these
      { "standard" types).
      case number_of_members: clt$union_member_number of
      = 0 =
        { The union consists of all possible types. } ,
      = 1 .. clc$max_union_members =
        { There are number_of_members occurrences of a }
        { clt$type_specification_size followed by a clt$type_specification }
        { following the clt$union_type_qualifier. }
      casend,
    recend;

*copyc clc$max_union_members
*copyc clt$type_kinds
*copyc clt$type_specification
*copyc clt$type_specification_size
*copyc clt$union_member_number
