X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/20f9c2138bd3af831e59c0256b3fb99a0692adad..6afec9101d5ea87e3df4bda2239ffd05f8154fa6:/src/sod-module.5

diff --git a/src/sod-module.5 b/src/sod-module.5
index b13c01e..8e21b5d 100644
--- 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
 .|