something.ml type some_type = | That 然后,我可以像这样实现main.ml: let x = Something.This 我想在main.ml中创建something.mli并保留相同的功能。我的第一个尝试是将something.mli写成: type some_type 我认为这会使变体构造函数公开可用,但它没有,现在main.ml不能编译。是否有一种方法可以在.mli中<
我在OCaml中遇到了下面的函子问题。我粘贴一些代码只是为了让你明白。基本上module type ProbPA = sig val next: t -> (t *with type s = P.t) = struct (* implementation *)然后,为了实际使用这些模块,我直接在一个名为prism.ml的文件中定义了一个新模块=
|