| author | berghofe |
| Fri, 02 May 1997 16:18:49 +0200 | |
| changeset 3096 | ccc2c92bb232 |
| parent 2660 | 9137a3d10d57 |
| child 3150 | a8faa68c68b5 |
| permissions | -rw-r--r-- |
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 ')'; }
3 \rail@o {1}{
4 \rail@begin{2}{typedef}
5 \rail@term{typedef}[]
6 \rail@bar
7 \rail@nextbar{1}
8 \rail@term{(}[]
9 \rail@nont{tname}[]
10 \rail@term{)}[]
11 \rail@endbar
12 \rail@nont{type}[]
13 \rail@term{=}[]
14 \rail@nont{set}[]
15 \rail@nont{witness}[]
16 \rail@end
17 \rail@begin{2}{type}
18 \rail@nont{typevarlist}[]
19 \rail@nont{name}[]
20 \rail@bar
21 \rail@nextbar{1}
22 \rail@term{(}[]
23 \rail@nont{infix}[]
24 \rail@term{)}[]
25 \rail@endbar
26 \rail@end
27 \rail@begin{1}{tname}
28 \rail@nont{name}[]
29 \rail@end
30 \rail@begin{1}{set}
31 \rail@nont{string}[]
32 \rail@end
33 \rail@begin{2}{witness}
34 \rail@bar
35 \rail@nextbar{1}
36 \rail@term{(}[]
37 \rail@nont{id}[]
38 \rail@term{)}[]
39 \rail@endbar
40 \rail@end
41 }
42 \rail@i {2}{ typedecl : typevarlist id '=' (cons + '|') ; cons : name (typ *) ( () | mixfix ) ; typ : id | tid | ('(' typevarlist id ')') ; }
43 \rail@o {2}{
44 \rail@begin{2}{typedecl}
45 \rail@nont{typevarlist}[]
46 \rail@nont{id}[]
47 \rail@term{=}[]
48 \rail@plus
49 \rail@nont{cons}[]
50 \rail@nextplus{1}
51 \rail@cterm{|}[]
52 \rail@endplus
53 \rail@end
54 \rail@begin{3}{cons}
55 \rail@nont{name}[]
56 \rail@bar
57 \rail@nextbar{1}
58 \rail@plus
59 \rail@nont{typ}[]
60 \rail@nextplus{2}
61 \rail@endplus
62 \rail@endbar
63 \rail@bar
64 \rail@nextbar{1}
65 \rail@nont{mixfix}[]
66 \rail@endbar
67 \rail@end
68 \rail@begin{3}{typ}
69 \rail@bar
70 \rail@nont{id}[]
71 \rail@nextbar{1}
72 \rail@nont{tid}[]
73 \rail@nextbar{2}
74 \rail@term{(}[]
75 \rail@nont{typevarlist}[]
76 \rail@nont{id}[]
77 \rail@term{)}[]
78 \rail@endbar
79 \rail@end
80 }