Module Set

module Set: sig .. end

このモジュールは要素間に全順序関数の定義された集合を表すデータ構造を実装します。 集合に対する操作はすべて純粋に applicative です（副作用がありません）。 実装には平衡二分木を使っているため十分に効率的です。 例えば、挿入や参照は集合の大きさに関して対数時間で実行できます。

module type OrderedType = sig .. end

module type S = sig .. end

module Make: 
functor (Ord : OrderedType) -> S  with type elt = Ord.t