Как я могу использовать некоторую запись OCaml, которую я определил в некотором другом файле? Скажите, например, что у меня есть файл a.ml, в котором я определяю запись r:
type r = { i: int; j: int; };
и файл b.ml, в котором я хочу использовать запись r. Что-то вроде этого:
let s = {i = 12; j = 15;}
ясно не работает - я знаю, что это имеет некоторое отношение к доступу к модулю, в котором определяется запись, но я должен все же разобраться в синтаксисе.
Типы и значения, определенные в a.ml, находятся в модуле A. Таким образом, вам нужно либо открыть A
(тем самым перенеся все определения из A в область видимости), либо сослаться на на i
и j
как Ai
и Aj
соответственно.