module Sort: sig end
推奨されていません (Deprecated) 。 このモジュールはもう使われていません。過去との互換性のためだけに残されています。
代わりに
Array
や
List
の中のソート関数を使用してください。新しい関数のほうが速くメモリ使用量が少なくなっています。
リストのソートとマージです。
val list : ('a -> 'a -> bool) -> 'a list -> 'a list
与えられた順序付け述語でリストを昇順にソートします。
述語は第一引数が第二引数より小さいか等しいときに true
を返してください。
val array : ('a -> 'a -> bool) -> 'a array -> unit
与えられた順序付け述語で配列を昇順にソートします。
述語は第一引数が第二引数より小さいか等しいときに true
を返してください。
配列は書き換えられソートされます。
val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list
2 つのリストを与えられた述語でマージします。
2 つの引数のリストは与えられた述語でソートされていることが仮定されていて、merge
は 2 つのリストの要素を含むソートされたリストを返します。2 つのリストがソートされていなかった場合の動作は未定義です。