sig type t val leq : CCHeap.PARTIAL_ORD.t -> CCHeap.PARTIAL_ORD.t -> bool end