Core.Varinfo_Enclosing_Function
val pretty : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.varinfo -> unit