Module type Set.OrderedType

module type OrderedType = sig .. end

type t 

集合の要素の型。

val compare : t -> t -> int

集合の要素上の全順序関数。 これは次のような二引数関数 f です。 すなわち、 f e1 e2 は e1 と e2 が等しい場合に 0 を返し、 e1 が e2 よりも小さい場合には厳密に負の数を返し、 e1 が e2 よりも大きい場合には厳密に正の数を返します。 例: 順序関数として適切なものとしては、汎用構造比較関数 compare があります。