  TYPE
    cmt$element_capability = record
      case element_type: cmt$element_type of
      = cmc$storage_device_element =
        case device_class: rmt$device_class of
        = rmc$mass_storage_device, rmc$terminal_device, rmc$null_device =
          ,
        = rmc$magnetic_tape_device =
          densities: cmt$densities,
          write_inhibited: boolean,
        casend,
      = cmc$central_memory_element, cmc$controller_element,
            cmc$data_channel_element, cmc$channel_adapter_element,
            cmc$iou_element, cmc$mainframe_element, cmc$pem_element,
            cmc$pp_element, cmc$external_processor_element,
            cmc$communications_element =
        ,
      casend,
    recend;

  TYPE
    cmt$densities = set of rmt$density;

*copyc cmt$element_type
*copyc rmt$density
*copyc rmt$device_class
