Functor Comparable.Poly


module Poly: 
functor (T : sig
type t 
end) -> sig .. end
Parameters:
T : sig type t end

type comparable = T.t 
include Pervasives
val ascending : 'a -> 'a -> int
val descending : 'a -> 'a -> int