open Parser

let v = [
  (* game-specific keywords *)
  (":", COLON);

  (* ML1 expressions *)
  ("true", TRUE);
  ("false", FALSE);
  ("if", IF);
  ("then", THEN);
  ("else", ELSE);
  
  ("*", AST);
  ("+", CROSS);
  ("-", HYPHEN);
  ("<", LT);

  ML2 judgments and expressions
  ("|-", VDASH);
  (",", COMMA);

  ("let", LET);
  ("in", IN);
  ("=", EQ);

  (* TypingML2 types *)
  ("int", INT);
  ("bool", BOOL);

  (* ML3 expressions *)
  ("->", RARROW);
  ("fun", FUN);

  (* ML4 expressions *)
  ("rec", REC);

  TypingML4
  ("'", PRIME);
] 


 game-specific keywords 
 ML1 expressions 
 TypingML2 types 
 ML3 expressions 
 ML4 expressions 
open Parser

let v = [
  (":", COLON);

  ("true", TRUE);
  ("false", FALSE);
  ("if", IF);
  ("then", THEN);
  ("else", ELSE);
  
  ("*", AST);
  ("+", CROSS);
  ("-", HYPHEN);
  ("<", LT);

  ML2 judgments and expressions
  ("|-", VDASH);
  (",", COMMA);

  ("let", LET);
  ("in", IN);
  ("=", EQ);

  ("int", INT);
  ("bool", BOOL);

  ("->", RARROW);
  ("fun", FUN);

  ("rec", REC);

  TypingML4
  ("'", PRIME);
] 

