MONO_ARRAY_SORT
signature
signature MONO_ARRAY_SORT
structure A : MONO_ARRAY
val sort : ((A.elem * A.elem) -> order) -> A.array -> unit
val sorted : ((A.elem * A.elem) -> order) -> A.array -> bool
structure A
sort f arr
sorted f arr
Last Modified May 29, 1996
Copyright © 1996 AT&T Research