sig
  type key = Cil_types.fieldinfo
  type data = Lang.lfun
  val get : key -> data
end