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
module Map: Map.Make(C)
module Set: Set.Make(C)