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