|
functor MLLrValsFun(structure Token : TOKEN) : sig
signature ParserData =
PARSER_DATA
signature Tokens = ML_TOKENS
end =
struct
structure ParserData = struct end
structure Tokens : ML_TOKENS =
struct
type svalue = ParserData.svalue
type ('a, 'b) token = ('a, 'b) Token.token
val EOF : 'a * 'a -> (svalue, 'a) token
val SEMICOLON : 'a * 'a -> (svalue, 'a) token
val ID : string * 'a * 'a -> (svalue, 'a) token
val TYVAR : string * 'a * 'a -> (svalue, 'a) token
val INT : int * 'a * 'a -> (svalue, 'a) token
val INT0 : int * 'a * 'a -> (svalue, 'a) token
val WORD : int * 'a * 'a -> (svalue, 'a) token
val REAL : string * 'a * 'a -> (svalue, 'a) token
val STRING : string * 'a * 'a -> (svalue, 'a) token
val CHAR : string * 'a * 'a -> (svalue, 'a) token
val ABSTYPE : 'a * 'a -> (svalue, 'a) token
val AND : 'a * 'a -> (svalue, 'a) token
val ARROW : 'a * 'a -> (svalue, 'a) token
val AS : 'a * 'a -> (svalue, 'a) token
val BAR : 'a * 'a -> (svalue, 'a) token
val CASE : 'a * 'a -> (svalue, 'a) token
val DATATYPE : 'a * 'a -> (svalue, 'a) token
val DOTDOTDOT : 'a * 'a -> (svalue, 'a) token
val ELSE : 'a * 'a -> (svalue, 'a) token
val END : 'a * 'a -> (svalue, 'a) token
val EQUALOP : 'a * 'a -> (svalue, 'a) token
val EQTYPE : 'a * 'a -> (svalue, 'a) token
val EXCEPTION : 'a * 'a -> (svalue, 'a) token
val DO : 'a * 'a -> (svalue, 'a) token
val DOT : 'a * 'a -> (svalue, 'a) token
val DARROW : 'a * 'a -> (svalue, 'a) token
val FN : 'a * 'a -> (svalue, 'a) token
val FUN : 'a * 'a -> (svalue, 'a) token
val FUNCTOR : 'a * 'a -> (svalue, 'a) token
val HANDLE : 'a * 'a -> (svalue, 'a) token
val HASH : 'a * 'a -> (svalue, 'a) token
val IF : 'a * 'a -> (svalue, 'a) token
val IN : 'a * 'a -> (svalue, 'a) token
val INCLUDE : 'a * 'a -> (svalue, 'a) token
val INFIX : 'a * 'a -> (svalue, 'a) token
val INFIXR : 'a * 'a -> (svalue, 'a) token
val LAZY : 'a * 'a -> (svalue, 'a) token
val LET : 'a * 'a -> (svalue, 'a) token
val LOCAL : 'a * 'a -> (svalue, 'a) token
val NONFIX : 'a * 'a -> (svalue, 'a) token
val OF : 'a * 'a -> (svalue, 'a) token
val OP : 'a * 'a -> (svalue, 'a) token
val OPEN : 'a * 'a -> (svalue, 'a) token
val OVERLOAD : 'a * 'a -> (svalue, 'a) token
val RAISE : 'a * 'a -> (svalue, 'a) token
val REC : 'a * 'a -> (svalue, 'a) token
val SHARING : 'a * 'a -> (svalue, 'a) token
val SIG : 'a * 'a -> (svalue, 'a) token
val SIGNATURE : 'a * 'a -> (svalue, 'a) token
val STRUCT : 'a * 'a -> (svalue, 'a) token
val STRUCTURE : 'a * 'a -> (svalue, 'a) token
val THEN : 'a * 'a -> (svalue, 'a) token
val TYPE : 'a * 'a -> (svalue, 'a) token
val VAL : 'a * 'a -> (svalue, 'a) token
val WHERE : 'a * 'a -> (svalue, 'a) token
val WHILE : 'a * 'a -> (svalue, 'a) token
val WILD : 'a * 'a -> (svalue, 'a) token
val WITH : 'a * 'a -> (svalue, 'a) token
val WITHTYPE : 'a * 'a -> (svalue, 'a) token
val ASTERISK : 'a * 'a -> (svalue, 'a) token
val COLON : 'a * 'a -> (svalue, 'a) token
val COLONGT : 'a * 'a -> (svalue, 'a) token
val COMMA : 'a * 'a -> (svalue, 'a) token
val LBRACE : 'a * 'a -> (svalue, 'a) token
val LBRACKET : 'a * 'a -> (svalue, 'a) token
val LPAREN : 'a * 'a -> (svalue, 'a) token
val RBRACE : 'a * 'a -> (svalue, 'a) token
val RBRACKET : 'a * 'a -> (svalue, 'a) token
val RPAREN : 'a * 'a -> (svalue, 'a) token
val ORELSE : 'a * 'a -> (svalue, 'a) token
val ANDALSO : 'a * 'a -> (svalue, 'a) token
val FUNSIG : 'a * 'a -> (svalue, 'a) token
val VECTORSTART : 'a * 'a -> (svalue, 'a) token
val BEGINQ : 'a * 'a -> (svalue, 'a) token
val ENDQ : string * 'a * 'a -> (svalue, 'a) token
val OBJL : string * 'a * 'a -> (svalue, 'a) token
val AQID : string * 'a * 'a -> (svalue, 'a) token
end
end
|