1signature sortingLib =
2sig
3
4val add_sorting_compset : computeLib.compset -> unit
5  (* need to use
6       val cs = listLib.list_compset()
7       val _ = pairLib.add_pair_compset cs;
8       val _ = sortingLib.add_sorting_compset cs;
9     at bare minimum, plus whatever is needed to evaluate any ordering
10     relation
11   *)
12
13end
14