Module `CostModels.NSCollection`

val get_length : IR.Exp.t -> of_function:string -> CostUtils.CostModelEnv.cost_model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> CostUtils.BasicCost.t
val op_on_two_coll : (CostUtils.BasicCost.t -> CostUtils.BasicCost.t -> 'a) -> of_function:string -> IR.Exp.t -> IR.Exp.t -> CostUtils.CostModelEnv.cost_model_env -> ret:'b -> BO.BufferOverrunDomain.Mem.t -> 'a
val enumerate_using_block : IR.Exp.t -> CostUtils.CostModelEnv.cost_model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> BasicCost.t