module Inherit:
functor (C : S) -> functor (T : sigtype 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 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: Map.Make(M)
module Set: Set.Make(M)