module Inherit: functor (
C
:
sig
type
t
val compare : t -> t -> int
end
) ->
functor (
T
:
sig
type
t
val component : t -> C.t
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
end
) ->
S
with type t := T.t
Inherit comparability from a component.
Parameters: |
C |
: |
sig type t with compare end
|
T |
: |
sig
type t with sexp
val component : t -> C.t
end
|
|
include Comparable_intf.S_common
module Map: Core_map.S
with type Key.t = t
with type Key.comparator_witness = comparator_witness
module Set: Core_set.S
with type Elt.t = t
with type Elt.comparator_witness = comparator_witness