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