module Comparable: Comparable
module type Infix = sig
.. end
module type S = sig
.. end
module Poly: functor (
T
:
sig
end
) ->
sig
.. end
module From_compare: functor (
T
:
sig
type
t
val compare : t -> t -> int
end
) ->
sig
.. end
module Inherit: functor (
C
:
S
) ->
functor (
T
:
sig
type
t
val component : t -> C.comparable
end
) ->
sig
.. end
Inherit comparability from a component.