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.
Parameters: |
C |
: |
S
|
T |
: |
sig
type t
include Sexpable.S with type sexpable = t
val component : t -> C.comparable
end
|
|
type
comparable = T.t
val compare : T.t -> T.t -> int
val equal : T.t -> T.t -> bool
val ascending : T.t -> T.t -> int
val descending : T.t -> T.t -> int
val min : T.t -> T.t -> T.t
val max : T.t -> T.t -> T.t
module Map: Core_map.Make
(
M
)
module Set: Core_set.Make
(
M
)