Здравствуйте, Aleksandr_KPI, Вы писали:

A_K>Большое спасибо за код Хотел бы прояснить пару моментов.
A_K>Насколько я понял использовать в названии типа заглавные буквы нельзя, пишет ошибку: "Error: Syntax error". В примерах из книг тоже такого не видел, но и не читал о таком правиле.

Начнём с того, что я не настоящий погонщик верблюдов, и сварочную маску только на стройке нашёл. Поэтому в синтаксисе путаюсь. (Тем более, что диалекты ML расходятся в синтаксисе).
Так что учить язык буду вместе с тобой. (Если оно нам надо, конечно).

Окей, пусть имена типов будут в кемелКейсе, а Капс только для конструкторов типов или для модулей и функторов.
Ну и let x = ... — это связывание переменной, а x = ... — это булево выражение, проверка на равенство.

В этом плане диалоговый интерпретатор — полезная штука. Вводишь — ругается — вводишь заново — начинаешь понимать, чего он хочет.