доступ к записям OCaml

Question

Как я могу использовать некоторую запись OCaml, которую я определил в каком-то другом файле? Скажем, например, что у меня есть файл a.ml, в котором я определяю г запись:

type r = { i: int; j: int; };

и файл b.ml, в котором я хочу использовать запись г. Что-то вроде этого:

let s = {i = 12; j = 15;} явно не работает - я знаю, что это имеет какое-то отношение к доступу к модулю, в котором определена запись, но я еще не получил синтаксис правильно.

Answer 1

типы и значения, определенные в a.ml живут в модуле А. Таким образом, вы должны либо open A (таким образом, в результате чего все определения из пункта А в область видимости) или ссылаться на i и j, как A.i и A.j соответственно.