changeset 42622 | 61a99eb5eb9d |
parent 42621 | 51bf5e365be9 |
child 42623 | 613b9b589ca0 |
--- a/doc-src/ZF/logics-ZF.rai Mon May 02 17:28:45 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,2 +0,0 @@ -\rail@i{1}{ datatype : ( 'datatype' | 'codatatype' ) datadecls; \par -datadecls: ( '"' id arglist '"' '=' (constructor + '|') ) + 'and' ; constructor : name ( () | consargs ) ( () | ( '(' mixfix ')' ) ) ; consargs : '(' ('"' var ' : ' term '"' + ',') ')' ; }