LIST_SORT
signature
signature LIST_SORT
val sort : (('a * 'a) -> bool) -> 'a list -> 'a list
val uniqueSort : (('a * 'a) -> order) -> 'a list -> 'a list
val sorted : (('a * 'a) -> bool) -> 'a list -> bool
sort f l
uniqueSort f l
sorted f l
Last Modified May 29, 1996
Copyright © 1996 AT&T Research