functor
(
T
:
BatOrd
.
Comp
)
->
sig
type
t =
T
.t list
val
compare : t
BatOrd
.comp
end