ocaml的：在MLI文件

Question

我有一個地方的地圖定義

module CtxMap = Map.make(struct type t = int let compare = compare end) 

文件context.ml與類型的函數map_get導出型CtxMap.key -> 'a CtxMap.t -> 'a

如何添加CtxMap聲明context.mli文件？ 因爲mli文件不能包含代碼，所以我無法找到一種方法。

Answer 1

module CtxMap : Map.S with type key = int 

在設有OCaml中的map.ml文件，對於仿函數簽名的名字是S，並且key是要公開向外界模塊的唯一抽象類型。

Answer 2

僅供參考，你總是可以做：

ocamlc -i -c context.ml 

輸出默認.mli文件到標準輸出。這個問題（在你的情況下）唯一的問題是它擴大了地圖的簽名。