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

Question

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

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

и файл b.ml, в котором я хочу использовать запись r. Как то так:

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

Answer 1

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