Up – Package index » goblint » Library goblint.lib » Goblint_lib » CilMaps » VarinfoOrdered

Module `CilMaps.VarinfoOrdered`

type t = GoblintCil.varinfo

val compare : GoblintCil.varinfo -> GoblintCil.varinfo -> int