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