Import Upstream version 20180207
[hcoop/debian/mlton.git] / lib / mlton / basic / insertion-sort.sig
1 (* Copyright (C) 2009 Matthew Fluet.
2 * Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
3 * Jagannathan, and Stephen Weeks.
4 *
5 * MLton is released under a BSD-style license.
6 * See the file MLton-LICENSE for details.
7 *)
8
9 signature INSERTION_SORT =
10 sig
11 (* The comparison function ('a * 'a -> bool) for should be the <= funtion,
12 * not just <.
13 * This is necessary to handle duplicate elements.
14 *)
15 val sort: 'a array * ('a * 'a -> bool) -> unit
16 end