sig
  type t
  val compare : SkipList.OrderedType.t -> SkipList.OrderedType.t -> int
end