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
Parameters: |
|
include Comparable_intf.S_common
module Map:Map.S
with type Key.t = t
with type Key.comparator = comparator
module Set:Set.S
with type Elt.t = t
with type Elt.comparator = comparator