Module CostModels.BoundsOfCollection
val of_length : IR.Exp.t -> BO.BufferOverrunUtils.ModelEnv.model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> of_function:string -> degree_kind:BO__Polynomials.DegreeKind.t -> CostUtils.BasicCost.t
val linear_length : IR.Exp.t -> BO.BufferOverrunUtils.ModelEnv.model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> of_function:string -> CostUtils.BasicCost.t
val logarithmic_length : IR.Exp.t -> BO.BufferOverrunUtils.ModelEnv.model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> of_function:string -> CostUtils.BasicCost.t
val n_log_n_length : IR.Exp.t -> BO.BufferOverrunUtils.ModelEnv.model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> of_function:string -> BasicCost.t