Make.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 lt : t -> t -> bool
cmp a b is true iff a < b
cmp a b
a < b