Výsledek analýzy programu vytvořeného v jazyce Standard ML