Module Set

module Set: sig  end

順序付けされた型に関する集合です。

このモジュールでは、キーの完全な順序付け関数が与えられた集合のデータ構造を提供します。集合に対する処理はすべて純粋に適用式です (副作用を持たない) 。現在の実装では二分平衡木となっていて、結構高速です。例えば挿入やメンバチェックには集合の大きさに対して対数オーダの時間がかかります。

module type OrderedType = sig  end

functor Set.Make の入力 signature です。

module type S = sig  end

Set.Make の出力 signature です。

module Make: functor (Ord : OrderedType) -> sig  end

完全な ordered type を引数にとってマップの structure を返す functor です。