src/method-{proto,impl}.lisp: Abstract out the receiver type.

[sod] / src / sod-module.5

diff --git a/src/sod-module.5 b/src/sod-module.5
index 949e781..8e21b5d 100644 (file)
--- a/src/sod-module.5
+++ b/src/sod-module.5
@@ -106,7 +106,7 @@ are variables which vary over all nonterminal and terminal symbols,
 and the variables may also appear on the right-hand side
 in place of a nonterminal.
 Such a rule stands for a family of rules,
-in each variable is replaced by
+in which each variable is replaced by
 each possible simple nonterminal or terminal symbol.
 .PP
 The letter \*e denotes the empty nonterminal
@@ -683,6 +683,10 @@ class-definition
 |
 .I identifier
 .|
+.B <
+.I plain-type
+.B >
+.|
 .B ?
 .I s-expression
 .|
@@ -750,13 +754,17 @@ class-definition
 |
 .B restrict
 .br
+.I plain-type
+::=
+.IR declaration-specifier \*+
+.I abstract-declarator
+.br
 .I atomic-type
 ::=
 .I
 atomic
 .B (
-.IR declaration-specifier \*+
-.I abstract-declarator
+.I plain-type
 .B )
 .br
 .I atomic