libc:bool ->
Cil_datatype.Varinfo.Set.t ->
object
  method pp_reached_from_function :
    Format.formatter -> Kernel_function.t -> unit
end