sig
type
key =
Cil_types
.varinfo
type
data =
Lang
.
F
.term
val
get : key
->
data
end