`module CFG = InstrCFG`
`module Domain = NodesBasicCostDomain`
`type extras``= InferModules.BufferOverrunChecker.invariant_map```
`val cost_atomic_instruction : BasicCost.astate`
`val instantiate_cost : tenv:InferIR.Tenv.t ‑> caller_pdesc:InferIR.Procdesc.t ‑> inferbo_caller_mem:InferModules.BufferOverrunDomain.Mem.astate InferStdlib.IStd.Option.t ‑> callee_pname:InferIR.Typ.Procname.t ‑> params:(InferIR.Exp.t * 'a) list ‑> callee_cost:BasicCost.astate ‑> BasicCost.astate`
`val exec_instr_cost : InferModules.BufferOverrunDomain.Mem.astate InferStdlib.IStd.Option.t ‑> InferModules.CostDomain.NodeInstructionToCostMap.astate ‑> 'a InferModules.ProcData.t ‑> CFG.Node.t ‑> InferIR.Sil.instr ‑> InferModules.CostDomain.NodeInstructionToCostMap.astate`
`val exec_instr : InferModules.CostDomain.NodeInstructionToCostMap.astate ‑> InferModules.BufferOverrunChecker.invariant_map InferModules.ProcData.t ‑> CFG.Node.t ‑> InferIR.Sil.instr ‑> InferModules.CostDomain.NodeInstructionToCostMap.astate`
`val pp_session_name : CFG.Node.t ‑> F.formatter ‑> unit`