equal
deleted
inserted
replaced
|
1 % This file was generated by 'rail' from 'logics-ZF.rai' |
|
2 \rail@i {1}{ datatype : ( 'datatype' | 'codatatype' ) datadecls; \par datadecls: ( '"' id arglist '"' '=' (constructor + '|') ) + 'and' ; constructor : name ( () | consargs ) ( () | ( '(' mixfix ')' ) ) ; consargs : '(' ('"' var ':' term '"' + ',') ')' ; } |
|
3 \rail@o {1}{ |
|
4 \rail@begin{2}{datatype} |
|
5 \rail@bar |
|
6 \rail@term{datatype}[] |
|
7 \rail@nextbar{1} |
|
8 \rail@term{codatatype}[] |
|
9 \rail@endbar |
|
10 \rail@nont{datadecls}[] |
|
11 \rail@end |
|
12 \rail@begin{3}{datadecls} |
|
13 \rail@plus |
|
14 \rail@term{"}[] |
|
15 \rail@nont{id}[] |
|
16 \rail@nont{arglist}[] |
|
17 \rail@term{"}[] |
|
18 \rail@term{=}[] |
|
19 \rail@plus |
|
20 \rail@nont{constructor}[] |
|
21 \rail@nextplus{1} |
|
22 \rail@cterm{|}[] |
|
23 \rail@endplus |
|
24 \rail@nextplus{2} |
|
25 \rail@cterm{and}[] |
|
26 \rail@endplus |
|
27 \rail@end |
|
28 \rail@begin{2}{constructor} |
|
29 \rail@nont{name}[] |
|
30 \rail@bar |
|
31 \rail@nextbar{1} |
|
32 \rail@nont{consargs}[] |
|
33 \rail@endbar |
|
34 \rail@bar |
|
35 \rail@nextbar{1} |
|
36 \rail@term{(}[] |
|
37 \rail@nont{mixfix}[] |
|
38 \rail@term{)}[] |
|
39 \rail@endbar |
|
40 \rail@end |
|
41 \rail@begin{2}{consargs} |
|
42 \rail@term{(}[] |
|
43 \rail@plus |
|
44 \rail@term{"}[] |
|
45 \rail@nont{var}[] |
|
46 \rail@term{:}[] |
|
47 \rail@nont{term}[] |
|
48 \rail@term{"}[] |
|
49 \rail@nextplus{1} |
|
50 \rail@cterm{,}[] |
|
51 \rail@endplus |
|
52 \rail@term{)}[] |
|
53 \rail@end |
|
54 } |