Module CostModels.ImmutableSet
val construct : IR.Exp.t -> BO.BufferOverrunUtils.ModelEnv.model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> CostUtils.BasicCost.t
val choose_table_size : IR.Exp.t -> BO.BufferOverrunUtils.ModelEnv.model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> CostUtils.BasicCost.t