Este programa é um compilador otimizador para a linguagem de programação Standard ML. Ele é capaz de otimizar o código inteiro do programa, o que pode aumentar significativamente a velocidade de execução. Além disso, ele é chamado de mlton. 