仅检查Ocaml文件的类型

我想知道是否可以只对ml文件进行类型检查？更准确地说，我有一个依赖于

b.cmi

的文件

a.ml

。如何仅键入check

a.ml

？请注意，我没有

b.cmo

，只有

b.cmi

ocamlc-I a.ml

可以工作；它还返回推断出的接口

请注意，即使您没有

b.cmo

，也可以使用

ocamlc-ca.ml

完美地编译

a.ml

（这就是单独编译的意义）