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
val nb_calls : unit -> int
end