package tezos-protocol-010-PtGRANAD
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >
  
  
  Tezos/Protocol: economic-protocol definition
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
  
    
      tezos-17.3.tar.gz
    
    
        
    
  
  
  
    
  
  
    
  
        sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
    
    
  sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
    
    
  doc/tezos-protocol-010-PtGRANAD.raw/Tezos_raw_protocol_010_PtGRANAD/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_010_PtGRANAD.Error_monad.error
      Tezos_protocol_environment_010_PtGRANAD.Error_monad.trace)
    Tezos_protocol_environment_010_PtGRANAD.Pervasives.result
    Tezos_protocol_environment_010_PtGRANAD.Lwt.tSource
val init : 
  Raw_context.t ->
  Lazy_storage_kind.Sapling_state.Id.t ->
  (Raw_context.t,
    Tezos_protocol_environment_010_PtGRANAD.Error_monad.error
      Tezos_protocol_environment_010_PtGRANAD.Error_monad.trace)
    Tezos_protocol_environment_010_PtGRANAD.Pervasives.result
    Tezos_protocol_environment_010_PtGRANAD.Lwt.tSource
val mem : 
  Raw_context.t ->
  Lazy_storage_kind.Sapling_state.Id.t ->
  Tezos_protocol_environment_010_PtGRANAD.Sapling.Hash.t ->
  (bool,
    Tezos_protocol_environment_010_PtGRANAD.Error_monad.error
      Tezos_protocol_environment_010_PtGRANAD.Error_monad.trace)
    Tezos_protocol_environment_010_PtGRANAD.Pervasives.result
    Tezos_protocol_environment_010_PtGRANAD.Lwt.tSource
val add : 
  Raw_context.t ->
  Lazy_storage_kind.Sapling_state.Id.t ->
  Storage.Sapling.Roots.value ->
  (Raw_context.t,
    Tezos_protocol_environment_010_PtGRANAD.Error_monad.error
      Tezos_protocol_environment_010_PtGRANAD.Error_monad.trace)
    Tezos_protocol_environment_010_PtGRANAD.Pervasives.result
    Tezos_protocol_environment_010_PtGRANAD.Lwt.t sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >