Set.OrderedTypeこのページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 last mod. 2009-09-10 (木) 14:34:32
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 があります。 |