访问OCaml记录

Question

如何使用某些其他文件中定义的OCaml记录？例如说我有，我定义了R录制文件a.ml：

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

，并在其中我想使用R录制文件b.ml。类似这样的：

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

Answer 1

在a.ml规定的类型和值活在模块A.所以，你需要或者open A（从而使所有的定义从A到范围）或参阅i和j为A.i和A.j分别。