RegisterBASE.E
type key = Lang.lfun
type data = Frama_c_kernel.Cil_types.varinfo
val name : string
val compare : key -> key -> int
val pretty : Stdlib.Format.formatter -> key -> unit