Annotation of /sml/trunk/src/eXene/demos/tactic-tree/examples/derivative/expression.grm.sig

Parent Directory | Revision Log

---

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

1 :	monnier	180	signature expression_TOKENS =
2 :			sig
3 :			type ('a,'b) token
4 :			type svalue
5 :			val EOF: 'a * 'a -> (svalue,'a) token
6 :			val RPAREN: 'a * 'a -> (svalue,'a) token
7 :			val LPAREN: 'a * 'a -> (svalue,'a) token
8 :			val COS: 'a * 'a -> (svalue,'a) token
9 :			val SIN: 'a * 'a -> (svalue,'a) token
10 :			val E: 'a * 'a -> (svalue,'a) token
11 :			val EXP: 'a * 'a -> (svalue,'a) token
12 :			val NEG: 'a * 'a -> (svalue,'a) token
13 :			val DIVIDE: 'a * 'a -> (svalue,'a) token
14 :			val MINUS: 'a * 'a -> (svalue,'a) token
15 :			val PLUS: 'a * 'a -> (svalue,'a) token
16 :			val TIMES: 'a * 'a -> (svalue,'a) token
17 :			val NUM: (int) * 'a * 'a -> (svalue,'a) token
18 :			val VAR: (string) * 'a * 'a -> (svalue,'a) token
19 :			end
20 :			signature expression_LRVALS=
21 :			sig
22 :			structure Tokens : expression_TOKENS
23 :			structure ParserData:PARSER_DATA
24 :			sharing type ParserData.Token.token = Tokens.token
25 :			sharing type ParserData.svalue = Tokens.svalue
26 :			end

---

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