MemBytes.BASE
type key = Frama_c_kernel.Cil_types.varinfo
type data = Lang.F.term
val mem : key -> bool
val get : key -> data
val set : key -> data -> unit
val find : key -> data
val remove : key -> unit
val clear : unit -> unit