-1
1)我有一个签名OCAML模块类型和模块编译
module type UINTSIG=
sig
type t
val create: t->t
end
2)我想创建一个使用上面的签名两个模块
所以我非常希望保持签名1 ,在一个单独的文件中,使用1中签名的模块的实现和签名文件。 我的问题是
A)我应该在哪里将签名放在上面1中。我应该把它放在uintsig.mli文件中吗? B)如何在.mli/ml文件中表示他们在1中使用签名的模块?