type token = | VDASH| USE_SIG| USEONLY| TYPEABBREV| TYPE| STRING of string| SLASH| SIGMA| SIG| SHORTEN| RULE| RPAREN| REPLACE| REMOVE| RCURLY| RBRACKET| QUOTED of string| QDASH| PRED| PIPE| PI| OR| NIL| NAMESPACE| NAME| MODULE| MODE| 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| 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| DARROW| CUT| CONSTRAINT| CONSTANT of string| CONS| CONJ2| CONJ| COLON| CLOSED| BIND| BEFORE| AS| ARROW| AFTER| ACCUM_SIG| ACCUMULATE