访问模块下的类型

Question

我解释你的问题

我有一个这样的模块：

a.ml

module A = struct 
type t = int * int
end

a.mli

module A :sig
type t = int * int
end

main.ml

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