OCAML模塊類型和模塊編譯

Question

1）我有一個簽名

module type UINTSIG= 
sig 
type t 
val create: t->t 
end 

2）我想創建一個使用上面的簽名兩個模塊

所以我非常希望保持簽名1 ，在一個單獨的文件中，使用1中籤名的模塊的實現和簽名文件。 我的問題是

A）我應該在哪裏將簽名放在上面1中。我應該把它放在uintsig.mli文件中嗎？ B）如何在.mli/ml文件中表示他們在1中使用簽名的模塊？

Answer 1

將模塊類型定義放入名爲uintsig.mli的文件中是合理的。

然後，您可以通過名稱Uintsig.UINTSIG從其他文件引用模塊類型。 （作爲一個側面評論，模塊類型在我看來並不是很有根據，沒有辦法創建類型爲t的值，而沒有類型爲t的值，但這只是一個例子，顯然）