Mode Definition

Syntax

Mode-Definition   =  
 mode   Mode-Pattern   (   [   Specification   ]   [   means   Definiens   ]   ;  
Correctness-Conditions   |   is   Type-Expression   ;   )  
{   Mode-Synonym   }   .
 
Mode-Pattern   =   Mode-Symbol   [   of   Loci   ]   .
 
Mode-Symbol   =   Symbol   .
 
Mode-Synonym   =   synonym   Mode-Pattern   ;   .


See also

Home | Index of Syntax Items

Last modified: June 26, 2000