Um compilado feito em Standard ML para trabalhar com arquivos XML