Module type Set.OrderedType

module type OrderedType = sig  end

Input signature of the functor Set.Make.

集合の要素の型です。

val compare : t -> t -> int

キーに関する完全な順序付け関数です。 これは 2 つの引数をとる関数で、f とすると、キー e1 とキー e2 が等しいとき f e1 e2 は 0 になり、e1 が e2 より小さいと必ず負 (0 は含まない) になり、大きいと必ず正 (0 は含まない) になります。順序付け関数として使える例として、汎用構造的等価関数 Pervasives.compare があります。