|
functor LinkFileLrValsFun(structure Token : TOKEN) : sig
signature ParserData =
PARSER_DATA
signature Tokens =
LinkFile_TOKENS
end =
struct
structure ParserData = struct end
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
end
|