Source file `storage_costs_generated.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
(* 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 storage/List_key_values *)
(* fun size -> max 10 (470. + (117. * size)) *)
let cost_List_key_values size =
  let size = S.safe_int size in
  (size * S.safe_int 118) + S.safe_int 470

(* model storage/List_key_values/intercept *)
(* fun size -> max 10 (470. + (117. * size)) *)
let cost_intercept size =
  let size = S.safe_int size in
  (size * S.safe_int 118) + S.safe_int 470