--- a/doc-src/Ref/theory-syntax.tex Fri Feb 09 13:43:07 1996 +0100
+++ b/doc-src/Ref/theory-syntax.tex Fri Feb 09 18:25:27 1996 +0100
@@ -53,17 +53,19 @@
types : 'types' ( ( typeDecl ( () | '(' infix ')' ) ) + )
;
-typeDecl : ( () | tid | '(' ( tid + ',' ) ')') name
+infix : ( 'infixr' | 'infixl' ) nat;
+
+typeDecl : typevarlist name
( () | '=' ( string | type ) );
+typevarlist : () | tid | '(' ( tid + ',' ) ')';
+
type : simpleType | '(' type ')' | type '=>' type |
'[' ( type + "," ) ']' '=>' type;
simpleType: id | ( tid ( () | '::' id ) ) |
'(' ( type + "," ) ')' id | simpleType id;
-infix : ( 'infixr' | 'infixl' ) nat;
-
arities : 'arities' ((( name + ',' ) '::' arity ) + )
;