Module CostAutoreleaseModels.Call
val dispatch : (IR.Tenv.t, (IR.Procname.t -> CostDomain.summary option) -> CostUtils.model, unit) Absint.ProcnameDispatcher.Call.dispatcher
CostAutoreleaseModels.Call
val dispatch : (IR.Tenv.t, (IR.Procname.t -> CostDomain.summary option) -> CostUtils.model, unit) Absint.ProcnameDispatcher.Call.dispatcher