ocaml - 在模块下的类型访问

Question

我向你解释我的问题

我有一个这样的模块：

毫升

module A = struct 
type t = int * int
end

a.mli

module A :sig
type t = int * int
end

主文件

let test = A.t(8, 9)

我该如何解决这个错误：

Error: Unbound value A.t

谢谢。

Answer 1

A.t是一种类型，因此A.t (8,9)没有什么意义。这与模块无关，您将获得相同的结果：

# type t = int*int;;
type t = int * int
# t (1,2);;
Error: Unbound value t