
{ TYPE declaration: ost$processor_id_set

 TYPE
   ost$processor_id_set = SET OF ost$processor_id;

*copyc ost$processor_id
