Module Core.Varinfo_Enclosing_Function

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