equal
deleted
inserted
replaced
1 % This file was generated by 'rail' from 'logics.rai' |
1 % This file was generated by '/usr/stud/berghofe/latex/rail/rail' from 'logics.rai' |
2 \rail@i {1}{ typedef : 'typedef' ( () | '(' tname ')') type '=' set witness; type : typevarlist name ( () | '(' infix ')' ); tname : name; set : string; witness : () | '(' id ')'; } |
2 \rail@i {1}{ typedef : 'typedef' ( () | '(' tname ')') type '=' set witness; type : typevarlist name ( () | '(' infix ')' ); tname : name; set : string; witness : () | '(' id ')'; } |
3 \rail@o {1}{ |
3 \rail@o {1}{ |
4 \rail@begin{2}{typedef} |
4 \rail@begin{2}{typedef} |
5 \rail@term{typedef} |
5 \rail@term{typedef}[] |
6 \rail@bar |
6 \rail@bar |
7 \rail@nextbar{1} |
7 \rail@nextbar{1} |
8 \rail@term{(} |
8 \rail@term{(}[] |
9 \rail@nont{tname} |
9 \rail@nont{tname}[] |
10 \rail@term{)} |
10 \rail@term{)}[] |
11 \rail@endbar |
11 \rail@endbar |
12 \rail@nont{type} |
12 \rail@nont{type}[] |
13 \rail@term{=} |
13 \rail@term{=}[] |
14 \rail@nont{set} |
14 \rail@nont{set}[] |
15 \rail@nont{witness} |
15 \rail@nont{witness}[] |
16 \rail@end |
16 \rail@end |
17 \rail@begin{2}{type} |
17 \rail@begin{2}{type} |
18 \rail@nont{typevarlist} |
18 \rail@nont{typevarlist}[] |
19 \rail@nont{name} |
19 \rail@nont{name}[] |
20 \rail@bar |
20 \rail@bar |
21 \rail@nextbar{1} |
21 \rail@nextbar{1} |
22 \rail@term{(} |
22 \rail@term{(}[] |
23 \rail@nont{infix} |
23 \rail@nont{infix}[] |
24 \rail@term{)} |
24 \rail@term{)}[] |
25 \rail@endbar |
25 \rail@endbar |
26 \rail@end |
26 \rail@end |
27 \rail@begin{1}{tname} |
27 \rail@begin{1}{tname} |
28 \rail@nont{name} |
28 \rail@nont{name}[] |
29 \rail@end |
29 \rail@end |
30 \rail@begin{1}{set} |
30 \rail@begin{1}{set} |
31 \rail@nont{string} |
31 \rail@nont{string}[] |
32 \rail@end |
32 \rail@end |
33 \rail@begin{2}{witness} |
33 \rail@begin{2}{witness} |
34 \rail@bar |
34 \rail@bar |
35 \rail@nextbar{1} |
35 \rail@nextbar{1} |
36 \rail@term{(} |
36 \rail@term{(}[] |
37 \rail@nont{id} |
37 \rail@nont{id}[] |
38 \rail@term{)} |
38 \rail@term{)}[] |
39 \rail@endbar |
39 \rail@endbar |
40 \rail@end |
40 \rail@end |
41 } |
41 } |
42 \rail@i {2}{ typedecl : typevarlist id '=' (cons + '|') ; cons : name (typ *) ( () | mixfix ) ; typ : id | tid | ('(' typevarlist id ')') ; } |
42 \rail@i {2}{ typedecl : typevarlist id '=' (cons + '|') ; cons : name (typ *) ( () | mixfix ) ; typ : id | tid | ('(' typevarlist id ')') ; } |
43 \rail@o {2}{ |
43 \rail@o {2}{ |
44 \rail@begin{2}{typedecl} |
44 \rail@begin{2}{typedecl} |
45 \rail@nont{typevarlist} |
45 \rail@nont{typevarlist}[] |
46 \rail@nont{id} |
46 \rail@nont{id}[] |
47 \rail@term{=} |
47 \rail@term{=}[] |
48 \rail@plus |
48 \rail@plus |
49 \rail@nont{cons} |
49 \rail@nont{cons}[] |
50 \rail@nextplus{1} |
50 \rail@nextplus{1} |
51 \rail@cterm{|} |
51 \rail@cterm{|}[] |
52 \rail@endplus |
52 \rail@endplus |
53 \rail@end |
53 \rail@end |
54 \rail@begin{3}{cons} |
54 \rail@begin{3}{cons} |
55 \rail@nont{name} |
55 \rail@nont{name}[] |
56 \rail@bar |
56 \rail@bar |
57 \rail@nextbar{1} |
57 \rail@nextbar{1} |
58 \rail@plus |
58 \rail@plus |
59 \rail@nont{typ} |
59 \rail@nont{typ}[] |
60 \rail@nextplus{2} |
60 \rail@nextplus{2} |
61 \rail@endplus |
61 \rail@endplus |
62 \rail@endbar |
62 \rail@endbar |
63 \rail@bar |
63 \rail@bar |
64 \rail@nextbar{1} |
64 \rail@nextbar{1} |
65 \rail@nont{mixfix} |
65 \rail@nont{mixfix}[] |
66 \rail@endbar |
66 \rail@endbar |
67 \rail@end |
67 \rail@end |
68 \rail@begin{3}{typ} |
68 \rail@begin{3}{typ} |
69 \rail@bar |
69 \rail@bar |
70 \rail@nont{id} |
70 \rail@nont{id}[] |
71 \rail@nextbar{1} |
71 \rail@nextbar{1} |
72 \rail@nont{tid} |
72 \rail@nont{tid}[] |
73 \rail@nextbar{2} |
73 \rail@nextbar{2} |
74 \rail@term{(} |
74 \rail@term{(}[] |
75 \rail@nont{typevarlist} |
75 \rail@nont{typevarlist}[] |
76 \rail@nont{id} |
76 \rail@nont{id}[] |
77 \rail@term{)} |
77 \rail@term{)}[] |
78 \rail@endbar |
78 \rail@endbar |
79 \rail@end |
79 \rail@end |
80 } |
80 } |