type t
A value of type
t
corresponds to an indirect call point in OCaml code. Each such value contains a list of callees to which the call point has branched.
val call_site : t -> Program_counter.OCaml.t
The program counter at (or close to) the call site.
module Callee : sig ... end