Module BiVarinfoMap.Collection

val mappings : (module S) list ref
val mem_varinfo : Cil.varinfo -> bool
val describe_varinfo : Cil.varinfo -> string
val register_mapping : (module S) -> unit