type token =
  | ABSF
  | ADDA
  | ADDF
  | ADDI
  | ADDV
  | ADDR
  | ALIGN
  | ALLOC
  | AND
  | APPLY
  | ASR
  | ASSIGN
  | BYTE
  | CASE
  | CATCH
  | CHECKBOUND
  | COLON
  | DATA
  | DIVF
  | DIVI
  | EOF
  | EQA
  | EQF
  | EQI
  | EXIT
  | EXTCALL
  | FLOAT
  | FLOAT32
  | FLOAT64
  | FLOATCONST of (
# 92 "testsuite/tools/parsecmm.mly"
        string
# 35 "testsuite/tools/parsecmm.mli"
)
  | FLOATOFINT
  | FUNCTION
  | GEA
  | GEF
  | GEI
  | GLOBAL
  | GTA
  | GTF
  | GTI
  | HALF
  | IDENT of (
# 103 "testsuite/tools/parsecmm.mly"
        string
# 50 "testsuite/tools/parsecmm.mli"
)
  | IF
  | INT
  | INT32
  | INTCONST of (
# 107 "testsuite/tools/parsecmm.mly"
        int
# 58 "testsuite/tools/parsecmm.mli"
)
  | INTOFFLOAT
  | KSTRING
  | LBRACKET
  | LEA
  | LEF
  | LEI
  | LET
  | LETMUT
  | LOAD
  | LOCATION of (
# 117 "testsuite/tools/parsecmm.mly"
        Location.t
# 72 "testsuite/tools/parsecmm.mli"
)
  | LPAREN
  | LSL
  | LSR
  | LTA
  | LTF
  | LTI
  | MODI
  | MULF
  | MULH
  | MULI
  | NEA
  | NEF
  | NEI
  | NGEF
  | NGTF
  | NLEF
  | NLTF
  | OR
  | PROJ
  | RAISE of (
# 137 "testsuite/tools/parsecmm.mly"
        Lambda.raise_kind
# 96 "testsuite/tools/parsecmm.mli"
)
  | RBRACKET
  | RPAREN
  | SEQ
  | SIGNED
  | SKIP
  | STAR
  | STORE
  | STRING of (
# 145 "testsuite/tools/parsecmm.mly"
        string
# 108 "testsuite/tools/parsecmm.mli"
)
  | SUBF
  | SUBI
  | SWITCH
  | TRY
  | UNIT
  | UNSIGNED
  | VAL
  | WHILE
  | WITH
  | XOR
  | ADDRAREF
  | INTAREF
  | FLOATAREF
  | ADDRASET
  | INTASET
  | FLOATASET

val phrase :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Cmm.phrase