Private Functor Definition
Syntax
Private-Functor-Definition
=
deffunc
Private-Functor-Pattern
=
Term-Expression
.
See also
Private Definition
Home
|
Index of Syntax Items
Last modified: June 26, 2000