Module Costlib__CostModels.BoundsOfArray
val of_length : IR.Exp.t -> Costlib.CostUtils.CostModelEnv.cost_model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> of_function:string -> degree_kind:BO__Polynomials.DegreeKind.t -> Costlib.CostUtils.BasicCost.tval linear_length : IR.Exp.t -> Costlib.CostUtils.CostModelEnv.cost_model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> of_function:string -> Costlib.CostUtils.BasicCost.tval logarithmic_length : IR.Exp.t -> Costlib.CostUtils.CostModelEnv.cost_model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> of_function:string -> Costlib.CostUtils.BasicCost.tval n_log_n_length : IR.Exp.t -> Costlib.CostUtils.CostModelEnv.cost_model_env -> ret:'a -> BO.BufferOverrunDomain.Mem.t -> of_function:string -> BasicCost.tval op_on_two_lengths : IR.Exp.t -> IR.Exp.t -> f:(Costlib.CostUtils.BasicCost.t -> Costlib.CostUtils.BasicCost.t -> 'a) -> Costlib.CostUtils.CostModelEnv.cost_model_env -> ret:'b -> BO.BufferOverrunDomain.Mem.t -> of_function:string -> 'a