package tezos-protocol-013-PtJakart

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

The Carbonated_map_costs module contains gas cost functions for Carbonated_map.

val find_cost : 
  compare_key_cost:Alpha_context.Gas.cost ->
  size:int ->
  Alpha_context.Gas.cost

find_cost ~compare_key_cost ~size returns the gas cost for looking up an element from a map of size size. The user of this function is responsible for providing a correct value of compare_key_cost, representing the cost of comparing elements with a given key.

val update_cost : 
  compare_key_cost:Alpha_context.Gas.cost ->
  size:int ->
  Alpha_context.Gas.cost

update_cost ~compare_key_cost ~size returns the gas cost for updating an element in a map of size size. The user of this function is responsible for providing a correct value of compare_key_cost, representing the cost of comparing elements with a given key.

val fold_cost : size:int -> Alpha_context.Gas.cost

fold_cost ~size returns the cost of folding over a list of size size.