Source file sapling_storage_costs_generated.ml

(* 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 sapling/SAPLING_APPLY_DIFF *)
(* fun size1 ->
     fun size2 -> max 10 ((1300000. + (5000. * size1)) + (55000. * size2)) *)
let cost_SAPLING_APPLY_DIFF size1 size2 =
  let size1 = S.safe_int size1 in
  let size2 = S.safe_int size2 in
  (size1 * S.safe_int 5120) + (size2 * S.safe_int 55296) + S.safe_int 1300000