Make.1-X
type t
val idx : t -> int
Index in heap. return -1 if never set
val set_idx : t -> int -> unit
Update index in heap
val cmp : t -> t -> bool