Module Costlib__CostModels.NSCollection
val get_length : IR.Exp.t -> of_function:string -> BO.BufferOverrunUtils.ModelEnv.model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> Costlib.CostUtils.BasicCost.t
val op_on_two_coll : (Costlib.CostUtils.BasicCost.t -> Costlib.CostUtils.BasicCost.t -> 'a) -> of_function:string -> IR.Exp.t -> IR.Exp.t -> BO.BufferOverrunUtils.ModelEnv.model_env -> ret:'b -> BO.BufferOverrunDomain.Mem.t -> 'a