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