module Comparable: sig
.. end
Inherit comparability from a component.
module type Infix = sig
.. end
module type S_common = sig
.. end
module type S = sig
.. end
module type S_binable = sig
.. end
module Poly: functor (
T
:
sig
type
t
include Sexpable.S
end
) ->
sig
.. end
module Make_common: functor (
T
:
sig
type
t
include Sexpable.S
val compare : t -> t -> int
end
) ->
sig
.. end
module Make: functor (
T
:
sig
type
t
include Sexpable.S
val compare : t -> t -> int
end
) ->
sig
.. end
module Make_binable: functor (
T
:
sig
type
t
include Sexpable.S
include Binable.S
val compare : t -> t -> int
end
) ->
sig
.. end
module Inherit: functor (
C
:
S
) ->
functor (
T
:
sig
type
t
include Sexpable.S
val component : t -> C.comparable
end
) ->
sig
.. end
Inherit comparability from a component.
val lexicographic : ('a -> 'b -> int) list -> 'a -> 'b -> int