Section 24.2
$typeof()

 

In 24.2, REPLACE

 

The data type returned by the $typeof system function may be used to assign or override a type parameter, or in a comparison with another $typeof, evaluated during elaboration.

 

WITH

 

The data type returned by the $typeof system function may be used to assign or override a type parameter in any context where a data type identifier is allowed, including variable or net declarations, to assign or override a type parameter, or in a comparison with another $typeof, evaluated during elaboration.

 

 

Update BNF accordingly.