Set.OrderedType

このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。

Set

module type OrderedType = sig  end

Set.Makeファンクタの入力シグネチャです。

type t

集合の要素の型です。

val compare : t -> t -> int

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