`module F = Format`
`module L = InferBase.Logging`

find transitive procedure calls for each procedure

`module Domain : sig ... end`
`module SpecPayload : sig ... end`
`type extras_t````=` `{`

`get_proc_desc : InferIR.Typ.Procname.t ‑> InferIR.Procdesc.t option;`
`stacktraces : InferModules.Stacktrace.t list;`

`}```
`val line_range_of_pdesc : InferIR.Procdesc.t ‑> InferGenerated.Stacktree_j.line_range_t`
`val stacktree_of_pdesc : InferIR.Procdesc.t ‑> ?⁠loc:InferBase.Location.t ‑> ?⁠callees:InferGenerated.Stacktree_j.stacktree list ‑> string ‑> InferGenerated.Stacktree_j.stacktree`
`val stacktree_stub_of_procname : InferIR.Typ.Procname.t ‑> InferGenerated.Stacktree_j.stacktree`
`module TransferFunctions : functor (CFG : InferModules.ProcCfg.S) -> sig ... end`
`module Analyzer : sig ... end`
`val loaded_stacktraces : InferModules.Stacktrace.t InferStdlib.IStd.List.t option`
`val checker : InferModules.Callbacks.proc_callback_args ‑> InferModules.Summary.t`