2 * Dynamic web page generation

with Standard ML

3 * Copyright (C

) 2003 Adam Chlipala

5 * This library is free software

; you can redistribute it

and/or

6 * modify it under the terms

of the GNU Lesser General Public

7 * License

as published by the Free Software Foundation

; either

8 * version

2.1 of the License

, or (at your option

) any later version

.
10 * This library is distributed

in the hope that it will be useful

,
11 * but WITHOUT ANY WARRANTY

; without even the implied warranty

of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE

. See the GNU

13 * Lesser General Public License for more details

.
15 * You should have received a copy

of the GNU Lesser General Public

16 * License along

with this library

; if not

, write to the Free Software

17 * Foundation

, Inc

., 59 Temple Place

, Suite

330, Boston

, MA

02111-1307 USA

20 (* Tokens for mls template language

*)
26 | BEGIN_CODE | END_CODE

29 | LPAREN | RPAREN | LBRACK | RBRACK | LBRACE | RBRACE

30 | PLUS | MINUS | TIMES | DIV | MOD

31 | EQ | NEQ | GT | GTE | LT | LTE

32 | ID

of string | DOT | COMMA | COLON | CARET | TILDE