Previous  Up  

Functor Comparable.Inherit


module Inherit: 
functor (C : S) -> 
functor (T : sig
type t 



val component : t -> C.comparable
end) -> sig .. end
Inherit comparability from a component.
Parameters:
C : S
T : sig type 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