doc-src/ZF/logics-ZF.rai

-\rail@i{1}{ datatype : ( 'datatype' | 'codatatype' ) datadecls; \par
-datadecls: ( '"' id arglist '"' '=' (constructor + '|') ) + 'and' ; constructor : name ( () | consargs ) ( () | ( '(' mixfix ')' ) ) ; consargs : '(' ('"' var ' : ' term '"' + ',') ')' ; }