type token =
  | T_LET
  | T_EQ
  | T_IN
  | T_AND
  | T_LESS
  | T_ADD
  | T_SUB
  | T_MUL
  | T_DIV
  | T_NOT
  | T_IF
  | T_THEN
  | T_ELSE
  | T_FI
  | T_TRUE
  | T_FALSE
  | T_VALUE
  | T_LAZYDYN
  | T_LAZYSTAT
  | T_OUTPUT
  | T_INPUT
  | T_RANDOM
  | INT of (string)
  | IDENT of (string * int)
  | LPAR
  | RPAR
  | COMMA
  | SEMICOLON
  | DOUBLESEMICOLON
  | COLON

val program :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Aintv.prog