|
structure Tokens : LinkFile_TOKENS =
struct
type svalue = ParserData.svalue
type ('a, 'b) token = ('a, 'b) Token.token
val EOF : 'a * 'a -> (svalue, 'a) token
val ID : string * 'a * 'a -> (svalue, 'a) token
val ASTERISK : 'a * 'a -> (svalue, 'a) token
val EQUALOP : 'a * 'a -> (svalue, 'a) token
val DOT : 'a * 'a -> (svalue, 'a) token
val DARROW : 'a * 'a -> (svalue, 'a) token
val LBRACE : 'a * 'a -> (svalue, 'a) token
val RBRACE : 'a * 'a -> (svalue, 'a) token
val STRUCTURE : 'a * 'a -> (svalue, 'a) token
val SIGNATURE : 'a * 'a -> (svalue, 'a) token
val FUNCTOR : 'a * 'a -> (svalue, 'a) token
val FUNSIG : 'a * 'a -> (svalue, 'a) token
val TYPE : 'a * 'a -> (svalue, 'a) token
val VAL : 'a * 'a -> (svalue, 'a) token
val EXCEPTION : 'a * 'a -> (svalue, 'a) token
end
Type detail |
---|
type svalue = ParserData.svalue
type ('a, 'b) token = ('a, 'b) Token.token
Value detail |
---|
val EOF : 'a * 'a -> (svalue, 'a) token
val ID : string * 'a * 'a -> (svalue, 'a) token
val ASTERISK : 'a * 'a -> (svalue, 'a) token
val EQUALOP : 'a * 'a -> (svalue, 'a) token
val DOT : 'a * 'a -> (svalue, 'a) token
val DARROW : 'a * 'a -> (svalue, 'a) token
val LBRACE : 'a * 'a -> (svalue, 'a) token
val RBRACE : 'a * 'a -> (svalue, 'a) token
val STRUCTURE : 'a * 'a -> (svalue, 'a) token
val SIGNATURE : 'a * 'a -> (svalue, 'a) token
val FUNCTOR : 'a * 'a -> (svalue, 'a) token
val FUNSIG : 'a * 'a -> (svalue, 'a) token
val TYPE : 'a * 'a -> (svalue, 'a) token
val VAL : 'a * 'a -> (svalue, 'a) token
val EXCEPTION : 'a * 'a -> (svalue, 'a) token
|