sig val compute : WpContext.model -> unit val iter : (Kernel_function.t -> unit) -> unit val with_callees : Kernel_function.t -> Kernel_function.Set.t end