Functor Comparable.Poly


module Poly: 
functor (T : sig
type t 
include Sexpable.S
end) -> sig .. end
Parameters:
T : sig type t include Sexpable.S with type sexpable = t end

type comparable = T.t 
include Pervasives
val ascending : 'a -> 'a -> int
val descending : 'a -> 'a -> int
val equal : 'a -> 'a -> bool
module Map: Core_map.Make(C)
module Set: Core_set.Make(C)