module Comparable: Comparable
module type Infix = sig
.. end
module type S = sig
.. end
module Poly:
functor (
T
:
sig
end
) ->
sig
.. end
module Make:
functor (
T
:
sig
type
t
include Sexpable.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.