let letter s k = if k < String.length s then let c = s.[k] in if ('a' <= c && c <= 'z') || ('A' <= c && c <= 'Z') then Letter else if ('0' <= c && c <= '9') then Digit else Symbol else End