Source file `cache_repr_costs_generated.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(* Do not edit this file manually.
   This file was automatically generated from benchmark models
   If you wish to update a function in this file,
   a. update the corresponding model, or
   b. move the function to another module and edit it there. *)

[@@@warning "-33"]

module S = Saturation_repr
open S.Syntax

(* model cache/CACHE_UPDATE *)
(* fun size -> max 10 (600. + (43. * (log2 (1 + size)))) *)
let cost_CACHE_UPDATE size =
  let size = S.safe_int size in
  (log2 (size + S.safe_int 1) * S.safe_int 43) + S.safe_int 600