Module Map

module Map: sig .. end

順序付き型に対する対応表

このモジュールでは、有限表や辞書としても知られる、キーに対する全順序関数を使った applicative な対応表を実装します。表に対する操作はすべて純粋に applicative です（副作用がありません）。実装としては平衡二分木を使い、探索や挿入は表の大きさに対して対数オーダーの時間がかかります。

module type OrderedType = sig .. end

Map.Make ファンクタの入力のシグネチャ

module type S = sig .. end

Map.Make ファンクタの出力のシグネチャ。

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

全順序型を受け取り、表のストラクチャの実装を作成するファンクタ。