`module CFG = InstrCFG`
`module Domain : sig ... end`
`type extras``= extras_TransferFunctionsWCET```
`val should_report_on_instr : InferIR.Sil.instr ‑> bool`
`val should_report_cost : BasicCost.astate ‑> bool`
`val do_report : InferModules.Summary.t ‑> InferBase.Location.t ‑> BasicCost.astate ‑> unit`
`val should_report_on_node : InferIR.Procdesc.Node.t InferStdlib.IStd.List.t ‑> ReportedOnNodes.t ‑> bool`
`val map_cost : BasicCost.astate Node.IdMap.t ‑> BasicCost.astate InferModules.CostDomain.NodeInstructionToCostMap.t ‑> BasicCost.astate`
`val exec_instr : Domain.astate ‑> extras_TransferFunctionsWCET InferModules.ProcData.t ‑> CFG.Node.t ‑> InferIR.Sil.instr ‑> Domain.astate`
`val pp_session_name : 'a ‑> F.formatter ‑> unit`