Есть ли способ сделать декларацию в стиле C в OCaml? Моя проблема заключается в том, что у меня есть два варианта, которые взаимно относятся друг к другу: type path_formula =
[ `Next of state_for
Как я могу использовать некоторую запись OCaml, которую я определил в каком-то другом файле? Скажем, например, что у меня есть файл a.ml, в котором я определяю г запись: type r = { i: int; j: int; };
Я хочу напечатать список строк после прохождения шаблона, чтобы просто войти в эту мощную функциональность. Как я могу выразить операцию «do-nothing-but-return-unit»? Что я имею в виду: let print_node