SCM Repository
[smlnj] / sml / trunk / src / eXene / demos / tactic-tree / examples / fol / fol.grm.sig |
View of /sml/trunk/src/eXene/demos/tactic-tree/examples/fol/fol.grm.sig
Parent Directory
|
Revision Log
Revision 180 -
(download)
(as text)
(annotate)
Sat Nov 7 23:07:30 1998 UTC (23 years, 6 months ago) by monnier
File size: 1339 byte(s)
Sat Nov 7 23:07:30 1998 UTC (23 years, 6 months ago) by monnier
File size: 1339 byte(s)
Initial revision
signature fol_TOKENS = sig type ('a,'b) token type svalue val EOF: 'a * 'a -> (svalue,'a) token val TERMPREFIX: 'a * 'a -> (svalue,'a) token val FORMPREFIX: 'a * 'a -> (svalue,'a) token val GEQ: 'a * 'a -> (svalue,'a) token val LEQ: 'a * 'a -> (svalue,'a) token val RANGLE: 'a * 'a -> (svalue,'a) token val LANGLE: 'a * 'a -> (svalue,'a) token val COMMA: 'a * 'a -> (svalue,'a) token val RPAREN: 'a * 'a -> (svalue,'a) token val LPAREN: 'a * 'a -> (svalue,'a) token val COLON: 'a * 'a -> (svalue,'a) token val EXISTS: 'a * 'a -> (svalue,'a) token val FORALL: 'a * 'a -> (svalue,'a) token val DOT: 'a * 'a -> (svalue,'a) token val IMPLIES: 'a * 'a -> (svalue,'a) token val OR: 'a * 'a -> (svalue,'a) token val AND: 'a * 'a -> (svalue,'a) token val EQUAL: 'a * 'a -> (svalue,'a) token val NEG: 'a * 'a -> (svalue,'a) token val DIVIDE: 'a * 'a -> (svalue,'a) token val MINUS: 'a * 'a -> (svalue,'a) token val QUOTE: 'a * 'a -> (svalue,'a) token val PLUS: 'a * 'a -> (svalue,'a) token val TIMES: 'a * 'a -> (svalue,'a) token val NUM: (int) * 'a * 'a -> (svalue,'a) token val IDENT: (string) * 'a * 'a -> (svalue,'a) token end signature fol_LRVALS= sig structure Tokens : fol_TOKENS structure ParserData:PARSER_DATA sharing type ParserData.Token.token = Tokens.token sharing type ParserData.svalue = Tokens.svalue end
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |