Module type Heap.OrderedType

module type OrderedType = sig .. end

It is acceptable if different ts are considered to be equal by compare. This is not the case for e.g. the Set data structure of the OCaml library.

type t 

val compare : t -> t -> int

val to_string : t -> string