Module H.HeapCompare

type t = S.Var.t
val compare : HM.key -> HM.key -> int