package tezos-protocol-alpha
 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.1.tar.gz
    
    
        
    
  
  
  
    
  
  
    
  
        sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
    
    
  sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
    
    
  doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Storage/Seed/index.html
Module Storage.SeedSource
Storage from this submodule must only be accessed through the module `Seed`.
Source
type unrevealed_nonce = {- nonce_hash : Nonce_hash.t;
- delegate : Tezos_protocol_environment_alpha.Signature.Public_key_hash.t;
}Source
module Nonce : 
  Storage_sigs.Non_iterable_indexed_data_storage
    with type key := Level_repr.t
     and type value := nonce_status
     and type t := Raw_context.tSource
module VDF_setup : 
  Storage_sigs.Single_data_storage
    with type value = Seed_repr.vdf_setup
     and type t := Raw_context.t sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >