Lines Matching refs:token

3 type ('a,'b) token
5 val BOGUS_VALUE: 'a * 'a -> (svalue,'a) token
6 val UNKNOWN: (string) * 'a * 'a -> (svalue,'a) token
7 val VALUE: 'a * 'a -> (svalue,'a) token
8 val VERBOSE: 'a * 'a -> (svalue,'a) token
9 val TYVAR: (string) * 'a * 'a -> (svalue,'a) token
10 val TERM: 'a * 'a -> (svalue,'a) token
11 val START: 'a * 'a -> (svalue,'a) token
12 val SUBST: 'a * 'a -> (svalue,'a) token
13 val RPAREN: 'a * 'a -> (svalue,'a) token
14 val RBRACE: 'a * 'a -> (svalue,'a) token
15 val PROG: (string) * 'a * 'a -> (svalue,'a) token
16 val PREFER: 'a * 'a -> (svalue,'a) token
17 val PREC_TAG: 'a * 'a -> (svalue,'a) token
18 val PREC: (Header.prec) * 'a * 'a -> (svalue,'a) token
19 val PERCENT_TOKEN_SIG_INFO: 'a * 'a -> (svalue,'a) token
20 val PERCENT_ARG: 'a * 'a -> (svalue,'a) token
21 val PERCENT_POS: 'a * 'a -> (svalue,'a) token
22 val PERCENT_PURE: 'a * 'a -> (svalue,'a) token
23 val PERCENT_EOP: 'a * 'a -> (svalue,'a) token
24 val OF: 'a * 'a -> (svalue,'a) token
25 val NOSHIFT: 'a * 'a -> (svalue,'a) token
26 val NONTERM: 'a * 'a -> (svalue,'a) token
27 val NODEFAULT: 'a * 'a -> (svalue,'a) token
28 val NAME: 'a * 'a -> (svalue,'a) token
29 val LPAREN: 'a * 'a -> (svalue,'a) token
30 val LBRACE: 'a * 'a -> (svalue,'a) token
31 val KEYWORD: 'a * 'a -> (svalue,'a) token
32 val INT: (string) * 'a * 'a -> (svalue,'a) token
33 val PERCENT_HEADER: 'a * 'a -> (svalue,'a) token
34 val IDDOT: (string) * 'a * 'a -> (svalue,'a) token
35 val ID: (string*int) * 'a * 'a -> (svalue,'a) token
36 val HEADER: (string) * 'a * 'a -> (svalue,'a) token
37 val FOR: 'a * 'a -> (svalue,'a) token
38 val EOF: 'a * 'a -> (svalue,'a) token
39 val DELIMITER: 'a * 'a -> (svalue,'a) token
40 val COMMA: 'a * 'a -> (svalue,'a) token
41 val COLON: 'a * 'a -> (svalue,'a) token
42 val CHANGE: 'a * 'a -> (svalue,'a) token
43 val BAR: 'a * 'a -> (svalue,'a) token
44 val BLOCK: 'a * 'a -> (svalue,'a) token
45 val ASTERISK: 'a * 'a -> (svalue,'a) token
46 val ARROW: 'a * 'a -> (svalue,'a) token
52 sharing type ParserData.Token.token = Tokens.token