//----------------------------------------------------
// The following code was generated by CUP v0.10k
// Fri Jan 26 10:11:19 PST 2007
//----------------------------------------------------

package code.loader.parser.txtParser;

/** CUP generated interface containing symbol constants. */
public interface TokKinds {
  /* terminals */
  public static final int MAKEANON = 24;
  public static final int OPERATION = 13;
  public static final int MAKECHAR = 25;
  public static final int POP = 32;
  public static final int LOAD = 22;
  public static final int PUSH = 33;
  public static final int INTEGER = 3;
  public static final int TIME = 9;
  public static final int LPAREN = 38;
  public static final int PRIVATE = 15;
  public static final int COMPILED = 6;
  public static final int CHOICE = 20;
  public static final int UNQUAL_ID = 2;
  public static final int RPAREN = 39;
  public static final int STOREVAR = 36;
  public static final int TYPE = 11;
  public static final int COMMA = 42;
  public static final int DOT = 43;
  public static final int MAKEFLOAT = 27;
  public static final int LEFT = 16;
  public static final int MAKEVAR = 30;
  public static final int EOF = 0;
  public static final int TRUE = 7;
  public static final int error = 1;
  public static final int FAIL = 21;
  public static final int BRANCH = 19;
  public static final int NAME = 5;
  public static final int COLONCOLON = 37;
  public static final int IMPORT = 10;
  public static final int ARROW = 44;
  public static final int LCUBRA = 40;
  public static final int MAKEINT = 26;
  public static final int NONASSOC = 18;
  public static final int MAKEREF = 23;
  public static final int RCUBRA = 41;
  public static final int MAKEPARTIAL = 28;
  public static final int CONSTRUCTOR = 12;
  public static final int FLOAT = 4;
  public static final int PUBLIC = 14;
  public static final int RESIDUATE = 35;
  public static final int FALSE = 8;
  public static final int RIGHT = 17;
  public static final int MAKETERM = 29;
  public static final int NARROW = 31;
  public static final int REPLACE = 34;
}