Source file tokens.ml

type token = 
  | VDASH
  | USE_SIG
  | USEONLY
  | UNTYPED
  | TYPEABBREV
  | TYPE
  | STRING of ( string )
  | SLASH
  | SIGMA
  | SIG
  | SHORTEN
  | RULE
  | RTRI
  | RPAREN
  | REPLACE
  | REMOVE
  | RCURLY
  | RBRACKET
  | QUOTED of ( int * string )
  | QDASH
  | PRED
  | PIPE
  | PI
  | OR
  | NIL
  | NAMESPACE
  | NAME
  | MODULE
  | MOD
  | MINUSs
  | MINUSr
  | MINUSi
  | MINUS
  | MACRO
  | LPAREN
  | LOCALKIND
  | LOCAL
  | LCURLY
  | LBRACKET
  | KIND
  | IS
  | IO_COLON of (char)
  | IO of (char)
  | INTEGER of ( int )
  | INDEX
  | IMPORT
  | IFF
  | IF
  | FUNCTIONAL
  | FUNC
  | FULLSTOP
  | FRESHUV
  | FLOAT of ( float )
  | FIXITY of (string)
  | FAMILY_TIMES of (string)
  | FAMILY_TILDE of (string)
  | FAMILY_TICK of (string)
  | FAMILY_SHARP of (string)
  | FAMILY_QMARK of (string)
  | FAMILY_PLUS of (string)
  | FAMILY_OR of (string)
  | FAMILY_MINUS of (string)
  | FAMILY_LT of (string)
  | FAMILY_GT of (string)
  | FAMILY_EXP of (string)
  | FAMILY_EQ of (string)
  | FAMILY_BTICK of (string)
  | FAMILY_AND of (string)
  | EXTERNAL
  | EXPORTDEF
  | EQ2
  | EQ
  | EOF
  | DIV
  | DDARROW
  | DARROW
  | CUT
  | CONSTRAINT
  | CONSTANT of ( string )
  | CONS
  | CONJ2
  | CONJ
  | COLON
  | CLOSED
  | BIND
  | BEFORE
  | AS
  | ARROW
  | AFTER
  | ACCUM_SIG
  | ACCUMULATE