sig   val iter_in_order : (Kernel_function.t -> unit) -> unit   val iter_in_rev_order : (Kernel_function.t -> unit) -> unit   val iter_on_callers :     (Kernel_function.t -> unit) -> Kernel_function.t -> unit   val iter_on_callees :     (Kernel_function.t -> unit) -> Kernel_function.t -> unit   val accept_base :     with_formals:bool ->     with_locals:bool -> Kernel_function.t -> Base.t -> bool end