| Functor-Definition = | |
| func Functor-Pattern [ Specification ] [ ( means | equals ) Definiens ] ; | |
| Correctness-Conditions | |
| { Functor-Property } | |
| { Functor-Synonym } . | |
| Functor-Pattern = | |
| [ Functor-Loci ] Functor-Symbol [ Functor-Loci ] | | |
| Left-Functor-Bracket Loci Right-Functor-Bracket . | |
| Functor-Property = commutativity Justification ; . | |
| Functor-Synonym = synonym Functor-Pattern ; . | |
| Functor-Loci = Locus | ( Loci ) . | |
| Functor-Symbol = Symbol . | |
| Left-Functor-Bracket = Symbol . | |
| Right-Functor-Bracket = Symbol . | |
Last modified: June 26, 2000