Functor Comparable.Inherit

module Inherit: functor (C : sigtype t 

val compare : t -> t -> int
end) -> functor (T : sigtype 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