Cluster Registration

Syntax

Cluster-Registration   =  
 Existential-Registration   |  
Conditional-Registration   |  
Functorial-Registration   .
 
Existential-Registration   =  
 cluster   Adjective-Cluster   Type-Expression   ;  
Correctness-Conditions   .
 
Adjective-Cluster   =   {   Adjective   }   .
 
Adjective   =   [   non   ]   Attribute-Symbol   .


See also

Home | Index of Syntax Items

Last modified: June 26, 2000