Module `CostModels.ImmutableSet`

val construct : IR.Exp.t -> CostUtils.CostModelEnv.cost_model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> CostUtils.BasicCost.t
val choose_table_size : IR.Exp.t -> CostUtils.CostModelEnv.cost_model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> CostUtils.BasicCost.t