let token = function | ('0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9') -> Digit | '.' -> Dot | '-' -> Minus | '+' -> Plus | 'e' | 'E' -> Exp | _ -> error ()