Module BiVarinfoMap.Collection

val mem_varinfo : GoblintCil.varinfo -> bool
val describe_varinfo : GoblintCil.varinfo -> string