Overview  Index  Help 

MLLrValsFun


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

         


Overview  Index  Help