module Poly: functor (T : sigtype t end) -> sig .. end
functor (
T
:
sig
type t
end
) ->
sig type t end
type comparable = T.t
T.t
include Pervasives
val ascending : 'a -> 'a -> int
'a -> 'a -> int
val descending : 'a -> 'a -> int