访问OCaml记录

Question

如何使用我在其他文件中定义的某些OCaml记录？比方说，我有一个文件a.ml，我在其中定义了r记录：

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

和一个文件b.ml，我想在其中使用r记录。像这样：

let s = {i = 12; j = 15;}显然不起作用 - 我知道它与访问定义记录的模块有关，但我还没有正确的语法。

Answer 1

a.ml中定义的类型和值存在于模块A中。因此，您需要open A（从而将A中的所有定义纳入范围）或引用i和{{1分别为j和A.i。