Archivo de texto, en el cual viene el código en SML a ser probado en el programa