package tezos-protocol-015-PtLimaPt
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >
  
  
  Tezos/Protocol: economic-protocol definition
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
  
    
      tezos-16.0.tar.gz
    
    
        
    
  
  
  
    
  
  
    
  
        sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
    
    
  sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
    
    
  doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Tx_rollup_gas/index.html
Module Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_gasSource
Source
val hash : 
  hash_f:(bytes list -> 'b) ->
  Raw_context.t ->
  'a Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t ->
  'a ->
  (Raw_context.t * 'b)
    Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresultA generic helper to hash an input
Source
val hash_cost : 
  int ->
  Gas_limit_repr.cost
    Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresulthash_cost size returns the cost of gas for hashing a buffer of size bytes.
Raises Tx_rollup_negative_input_size iff size < 0.
Source
val consume_check_path_inbox_cost : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresultSource
val consume_check_path_commitment_cost : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresultSource
val consume_add_message_cost : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresultconsume_add_message_cost ctxt consume the gas cost of adding a message to an inbox and return the new context.
Source
val consume_compact_commitment_cost : 
  Raw_context.t ->
  int ->
  Raw_context.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >