module Map: sig end
このモジュールでは、キーの完全な順序付け関数が与えられた有限マップ、辞書などとも言われる適用式連想テーブルを提供します。マップに対する処理はすべて純粋に適用式です (副作用を持たない) 。現在の実装では二分平衡木となっていて、検索と挿入はマップの大きさに対して対数オーダの時間がかかります。
module type OrderedType = sig end
Map.Make
の入力 signature です。
module type S = sig end
Map.Make
の出力 signature です。
module Make: functor (Ord : OrderedType) -> sig end