module From_compare: functor (T : sigtype t val compare : t -> t -> intend) -> sig .. end
functor (
T
:
sig
type t
val compare : t -> t -> int
t -> t -> int
end
) ->
sig type t val compare : t -> t -> int end
type comparable = T.t
T.t
val compare : T.t -> T.t -> int
T.t -> T.t -> int
val ascending : T.t -> T.t -> int
val descending : T.t -> T.t -> int
include Infix
val min : T.t -> T.t -> T.t
T.t -> T.t -> T.t
val max : T.t -> T.t -> T.t