MemBytes.ShiftField
type key = Frama_c_kernel.Cil_types.fieldinfo
type data = Lang.lfun
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