BiVarinfoMap.Collection
val mem_varinfo : GoblintCil.varinfo -> bool
val describe_varinfo : GoblintCil.varinfo -> string
val mappings : (module S) list Stdlib.ref