| Array: | ARRAY | Fully implemented |
| Array2: | ARRAY2 | Fully implemented |
| Bool: | BOOL | Fully implemented |
| BoolArray: | MONO_ARRAY | Fully implemented |
| BoolArray2: | MONO_ARRAY2 | Fully implemented |
| BoolVector: | MONO_VECTOR | Fully implemented |
| Byte: | BYTE | Fully implemented |
| Char: | CHAR | Fully implemented |
| CharArray: | MONO_ARRAY | Fully implemented |
| CharArray2: | MONO_ARRAY2 | Fully implemented |
| CharVector: | MONO_VECTOR | Fully implemented |
| CommandLine: | COMMAND_LINE | Fully implemented |
| Date: | DATE | Fully implemented |
| General: | GENERAL | Fully implemented |
| IEEEReal: | IEEE_REAL | Fully implemented |
| IO: | IO | Fully implemented |
| Int: | INTEGER | Fully implemented |
| Int32: | INTEGER | Fully implemented |
| IntArray: | MONO_ARRAY | Fully implemented |
| IntArray2: | MONO_ARRAY2 | Fully implemented |
| IntInf: | INT_INF | Missing: log2, orb, xorb, andb, notb, «, » |
| IntVector: | MONO_VECTOR | Fully implemented |
| LargeInt: | INTEGER | Fully implemented |
| LargeReal: | REAL | Same as Real |
| LargeWord: | WORD | Fully implemented |
| ListPair: | LIST_PAIR | Fully implemented |
| List: | LIST | Fully implemented |
| Math: | MATH | Fully implemented |
| OS.FileSys: | OS_FILE_SYS | Fully implemented |
| Use of OS.FileSys.tmpName causes a link-time warning. | ||
| You can use MLton.TextIO.mkstemp instead. | ||
| OS.IO: | OS_IO | Missing: type poll_desc, type poll_info, exception Poll, |
| infoToPollDesc, isIn, isOut, isPri, pollDesc, pollIn, | ||
| pollOut, pollPri, pollToIODesc, poll. | ||
| OS.Path: | OS_PATH | Missing: exception InvalidArc, toUnixPath, fromUnixPath. |
| OS.Process: | OS_PROCESS | Fully implemented |
| Option: | OPTION | Fully implemented |
| Pack32Big: | PACK_WORD | Fully implemented |
| Pack32Little: | PACK_WORD | Fully implemented |
| PackReal64Little: | PACK_REAL | Fully implemented |
| PackRealLittle: | PACK_REAL | Fully implemented |
| Position: | INTEGER | Fully implemented |
| Posix: | POSIX | Fully implemented |
| Real: | REAL | Missing: toLargeInt, fromLargeInt, nextAfter, |
| toDecimal, fromDecimal. | ||
| Do not match spec: scan, fmt, toString, fromString. | ||
| RealArray: | MONO_ARRAY | Fully implemented |
| RealArray2: | MONO_ARRAY2 | Fully implemented |
| RealVector: | MONO_VECTOR | Fully implemented |
| SML90: | SML90 | Fully implemented |
| StringCvt: | STRING_CVT | Fully implemented |
| String: | STRING | Fully implemented |
| Substring: | SUBSTRING | Fully implemented |
| SysWord: | WORD | Fully implemented |
| TextIO: | TEXT_IO | Missing: getPosIn, getPosOut, openString, setPosIn, |
| setPosOut. | ||
| Timer: | TIMER | Fully implemented |
| Time: | TIME | Fully implemented |
| Unix: | UNIX | Fully implemented |
| Vector: | VECTOR | Fully implemented |
| Word: | WORD | Fully implemented |
| Word8: | WORD | Fully implemented |
| Word8Array: | MONO_ARRAY | Fully implemented |
| Word8Array2: | MONO_ARRAY2 | Fully implemented |
| Word8Vector: | MONO_VECTOR | Fully implemented |
| Word32: | WORD | Fully implemented |