CilMaps.VarinfoOrdered
type t = GoblintCil.varinfo
val compare : GoblintCil.varinfo -> GoblintCil.varinfo -> int