无法访问另一个.ml文件中的一个.ml文件中的类型

Question

在我的第一个文件public GameDetails(int, int)中，我定义了一个类型file1.ml。在另一个文件nfa = {start: int; finals: int list}中，我打开第一个文件并尝试创建变量类型file2.ml，但编译器似乎并不喜欢这样。

file1.ml：

nfa

file2.ml：

type nfa = {start: int; finals: int list}
...

编译器抛出以下错误：

open File1
let regexp_to_nfa re = match re with
  | Empty_String -> {start=0; finals=[]}
...

我不确定是什么错，因为我File "file2.ml", line 14, characters 21-26: Error: Unbound record field start 位于第二个文件顶部的模块。有什么想法吗？