goblint.lib
H.HeapCompare
goblint.sites
goblint_sites_dune
goblint_sites_js
type t = S.Var.t
val compare : HM.key -> HM.key -> int