module WpTarget:sig
..end
This module computes the set of kernel functions that are considered by the command line options transmitted to WP. That is:
It takes in account the options -wp-bhv and -wp-props so that if all functions are initially selected but in fact some of them are filtered out by these options, they are not considered.
val compute : WpContext.model -> unit
val iter : (Kernel_function.t -> unit) -> unit
val with_callees : Kernel_function.t -> Kernel_function.Set.t