package tezos-protocol-001-PtCJ7pwo
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >
  
  
  Tezos/Protocol: 001_PtCJ7pwo (economic-protocol definition, functor version)
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
  
    
      tezos-17.3.tar.gz
    
    
        
    
  
  
  
    
  
  
    
  
        sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
    
    
  sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
    
    
  doc/tezos-protocol-001-PtCJ7pwo.raw/Tezos_raw_protocol_001_PtCJ7pwo/Storage/index.html
Module Tezos_raw_protocol_001_PtCJ7pwo.StorageSource
Tezos Protocol Implementation - Typed storage
This module hides the hierarchical (key x value) database under pre-allocated typed accessors for all persistent entities of the tezos context.
This interface enforces no invariant on the contents of the database. Its goal is to centralize all accessors in order to have a complete view over the database contents and avoid key collisions.
Storage from this submodule must only be accessed through the module `Roll`.
Storage from this submodule must only be accessed through the module `Contract`.
Source
module Delegates : 
  Storage_sigs.Data_set_storage
    with type t := Raw_context.t
     and type elt =
           Tezos_protocol_environment_001_PtCJ7pwo.Signature.Public_key_hash.tSet of all registered delegates.
Votes
Seed
Storage from this submodule must only be accessed through the module `Seed`.
Commitments
Source
module Commitments : 
  Storage_sigs.Indexed_data_storage
    with type key = Blinded_public_key_hash.t
     and type value = Tez_repr.t
     and type t := Raw_context.tRamp up security deposits...
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >