Module CostAllocationModels.ProcName

val dispatch : (IR.Tenv.tCostDomain.BasicCostWithReason.t, unit) Absint.ProcnameDispatcher.ProcName.dispatcher