A virtual process type is a
that can be redefined in a subtype of the enclosing block type.
The virtuality is specified in the
process type heading
or by <
> in the corresponding process type reference symbol.
A redefinition of the
must be a subtype of the type identified in the
Z.100 (virtual types)