Module type MoreLabels.Set.OrderedType


module type OrderedType = Set.OrderedType


type t
集合の要素の型です。

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