Module Costlib__CostModels.IntHashMap
val keys : 'a Absint.ProcnameDispatcher.Call.FuncArg.t -> BO.BufferOverrunUtils.ModelEnv.model_env -> ret:'b -> BO.BufferOverrunDomain.Mem.t -> Costlib.CostUtils.BasicCost.t
Costlib__CostModels.IntHashMap
val keys : 'a Absint.ProcnameDispatcher.Call.FuncArg.t -> BO.BufferOverrunUtils.ModelEnv.model_env -> ret:'b -> BO.BufferOverrunDomain.Mem.t -> Costlib.CostUtils.BasicCost.t