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