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