Module type SkipList.OrderedType


module type OrderedType = sig  end
Types used as skiplist keys have to be ordered


type t
val compare : t -> t -> int