1(*
2    Copyright (c) 2013 David C.J. Matthews
3
4    This library is free software; you can redistribute it and/or
5    modify it under the terms of the GNU Lesser General Public
6    License as published by the Free Software Foundation; either
7    version 2.1 of the License, or (at your option) any later version.
8    
9    This library is distributed in the hope that it will be useful,
10    but WITHOUT ANY WARRANTY; without even the implied warranty of
11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
12    Lesser General Public License for more details.
13    
14    You should have received a copy of the GNU Lesser General Public
15    License along with this library; if not, write to the Free Software
16    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
17*)
18
19signature SymbolsSig =
20sig
21    datatype sys =
22        AbortParse
23    |   Ident
24    |   AbstypeSy
25    |   AndSy
26    |   AndalsoSy 
27    |   AsSy 
28    |   CaseSy
29    |   DatatypeSy 
30    |   DoSy 
31    |   ElseSy 
32    |   EndSy 
33    |   ExceptionSy 
34    |   FnSy 
35    |   FunSy
36    |   HandleSy 
37    |   IfSy 
38    |   InSy 
39    |   InfixSy 
40    |   InfixrSy 
41    |   LetSy 
42    |   LocalSy
43    |   NonfixSy 
44    |   OfSy 
45    |   OpSy 
46    |   OpenSy 
47    |   OrelseSy 
48    |   RaiseSy 
49    |   RecSy 
50    |   ThenSy
51    |   TypeSy 
52    |   ValSy 
53    |   WithSy 
54    |   WhileSy 
55    |   LeftParen 
56    |   RightParen
57    |   LeftBrack
58    |   RightBrack
59    |   Comma 
60    |   Colon 
61    |   Semicolon 
62    |   ThickArrow
63    |   VerticalBar
64    |   EqualsSign
65    |   Underline 
66    |   TypeIdent
67    |   StringConst
68    |   IntegerConst
69    |   Asterisk 
70    |   Arrow 
71    |   RealConst 
72    |   LeftCurly
73    |   RightCurly
74    |   ThreeDots
75    |   ColonGt
76    |   HashSign 
77    |   StructureSy 
78    |   SignatureSy
79    |   StructSy 
80    |   SigSy 
81    |   SharingSy 
82    |   FunctorSy 
83    |   WithtypeSy
84    |   EqtypeSy
85    |   IncludeSy
86    |   WhereSy
87    |   WordConst
88    |   CharConst
89    |   Othersy
90  
91  val repr: sys -> string
92  val lookup: string -> sys
93
94end;
95