Functor Comparable.Inherit

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

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