Сформулируйте формальную постановку задачи, запишите
Сформулируйте формальную постановку задачи, запишите правила вывода и реализуйте программу на SML в соответствии с вариантом исполнения. В качестве целевого типа взять бинарное дерево вида:
tree = Nil | Atom of string | Comb of tree * tree;
