package tezos-protocol-008-PtEdoTez
 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-008-PtEdoTez.raw/Tezos_raw_protocol_008_PtEdoTez/Sapling_storage/Roots/index.html
Module Sapling_storage.RootsSource
Bounded queue of roots. The full size is initialized with the default uncommitted root, that's why roots storage doesn't need to be carbonated. A maximum of one new root is added per protocol level. If multiple transactions for the same shielded pool are processed during the same contract call or several calls in the same block, only the last root will be stored. This property prevents transactions in the same block from depending on each other and guarantees that a transaction will be valid for a least two hours (hence the 120 size) after being forged.
Source
val get : 
  Raw_context.t ->
  Lazy_storage_kind.Sapling_state.Id.t ->
  (Storage.Sapling.Roots.value,
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.error
      Tezos_protocol_environment_008_PtEdoTez.Error_monad.trace)
    Tezos_protocol_environment_008_PtEdoTez.Pervasives.result
    Tezos_protocol_environment_008_PtEdoTez.Lwt.tSource
val init : 
  Raw_context.t ->
  Lazy_storage_kind.Sapling_state.Id.t ->
  (Raw_context.t,
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.error
      Tezos_protocol_environment_008_PtEdoTez.Error_monad.trace)
    Tezos_protocol_environment_008_PtEdoTez.Pervasives.result
    Tezos_protocol_environment_008_PtEdoTez.Lwt.tSource
val mem : 
  Raw_context.t ->
  Lazy_storage_kind.Sapling_state.Id.t ->
  Tezos_protocol_environment_008_PtEdoTez.Sapling.Hash.t ->
  (bool,
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.error
      Tezos_protocol_environment_008_PtEdoTez.Error_monad.trace)
    Tezos_protocol_environment_008_PtEdoTez.Pervasives.result
    Tezos_protocol_environment_008_PtEdoTez.Lwt.tSource
val add : 
  Raw_context.t ->
  Lazy_storage_kind.Sapling_state.Id.t ->
  Storage.Sapling.Roots.value ->
  (Raw_context.t,
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.error
      Tezos_protocol_environment_008_PtEdoTez.Error_monad.trace)
    Tezos_protocol_environment_008_PtEdoTez.Pervasives.result
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >