Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/branches/SMLNJ/src/eXene/demos/tactic-tree/examples/fol/fol.grm.sig
ViewVC logotype

Annotation of /sml/branches/SMLNJ/src/eXene/demos/tactic-tree/examples/fol/fol.grm.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 181 - (view) (download) (as text)

1 : monnier 180 signature fol_TOKENS =
2 :     sig
3 :     type ('a,'b) token
4 :     type svalue
5 :     val EOF: 'a * 'a -> (svalue,'a) token
6 :     val TERMPREFIX: 'a * 'a -> (svalue,'a) token
7 :     val FORMPREFIX: 'a * 'a -> (svalue,'a) token
8 :     val GEQ: 'a * 'a -> (svalue,'a) token
9 :     val LEQ: 'a * 'a -> (svalue,'a) token
10 :     val RANGLE: 'a * 'a -> (svalue,'a) token
11 :     val LANGLE: 'a * 'a -> (svalue,'a) token
12 :     val COMMA: 'a * 'a -> (svalue,'a) token
13 :     val RPAREN: 'a * 'a -> (svalue,'a) token
14 :     val LPAREN: 'a * 'a -> (svalue,'a) token
15 :     val COLON: 'a * 'a -> (svalue,'a) token
16 :     val EXISTS: 'a * 'a -> (svalue,'a) token
17 :     val FORALL: 'a * 'a -> (svalue,'a) token
18 :     val DOT: 'a * 'a -> (svalue,'a) token
19 :     val IMPLIES: 'a * 'a -> (svalue,'a) token
20 :     val OR: 'a * 'a -> (svalue,'a) token
21 :     val AND: 'a * 'a -> (svalue,'a) token
22 :     val EQUAL: 'a * 'a -> (svalue,'a) token
23 :     val NEG: 'a * 'a -> (svalue,'a) token
24 :     val DIVIDE: 'a * 'a -> (svalue,'a) token
25 :     val MINUS: 'a * 'a -> (svalue,'a) token
26 :     val QUOTE: 'a * 'a -> (svalue,'a) token
27 :     val PLUS: 'a * 'a -> (svalue,'a) token
28 :     val TIMES: 'a * 'a -> (svalue,'a) token
29 :     val NUM: (int) * 'a * 'a -> (svalue,'a) token
30 :     val IDENT: (string) * 'a * 'a -> (svalue,'a) token
31 :     end
32 :     signature fol_LRVALS=
33 :     sig
34 :     structure Tokens : fol_TOKENS
35 :     structure ParserData:PARSER_DATA
36 :     sharing type ParserData.Token.token = Tokens.token
37 :     sharing type ParserData.svalue = Tokens.svalue
38 :     end

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0