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/Storage/Sapling/index.html
Module Storage.SaplingSource
Source
val remove_rec : 
  Raw_context.t ->
  id ->
  Raw_context.t Tezos_protocol_environment_008_PtEdoTez.Lwt.tSource
module Total_bytes : 
  Storage_sigs.Indexed_data_storage
    with type key = id
     and type value = Tezos_protocol_environment_008_PtEdoTez.Z.t
     and type t := Raw_context.tSource
module Commitments_size : 
  Storage_sigs.Single_data_storage
    with type t := Raw_context.t * id
     and type value = int64Source
module Memo_size : 
  Storage_sigs.Single_data_storage
    with type t := Raw_context.t * id
     and type value = intSource
module Commitments : 
  Storage_sigs.Non_iterable_indexed_carbonated_data_storage
    with type t := Raw_context.t * id
     and type key = int64
     and type value = Tezos_protocol_environment_008_PtEdoTez.Sapling.Hash.tSource
val commitments_init : 
  Raw_context.t ->
  id ->
  Raw_context.t Tezos_protocol_environment_008_PtEdoTez.Lwt.tSource
module Ciphertexts : 
  Storage_sigs.Non_iterable_indexed_carbonated_data_storage
    with type t := Raw_context.t * id
     and type key = int64
     and type value =
           Tezos_protocol_environment_008_PtEdoTez.Sapling.Ciphertext.tSource
val ciphertexts_init : 
  Raw_context.t ->
  id ->
  Raw_context.t Tezos_protocol_environment_008_PtEdoTez.Lwt.tSource
module Nullifiers_size : 
  Storage_sigs.Single_data_storage
    with type t := Raw_context.t * id
     and type value = int64Source
module Nullifiers_ordered : 
  Storage_sigs.Non_iterable_indexed_data_storage
    with type t := Raw_context.t * id
     and type key = int64
     and type value =
           Tezos_protocol_environment_008_PtEdoTez.Sapling.Nullifier.tSource
module Nullifiers_hashed : 
  Storage_sigs.Carbonated_data_set_storage
    with type t := Raw_context.t * id
     and type elt = Tezos_protocol_environment_008_PtEdoTez.Sapling.Nullifier.tSource
val nullifiers_init : 
  Raw_context.t ->
  id ->
  Raw_context.t Tezos_protocol_environment_008_PtEdoTez.Lwt.tSource
module Roots : 
  Storage_sigs.Non_iterable_indexed_data_storage
    with type t := Raw_context.t * id
     and type key = int32
     and type value = Tezos_protocol_environment_008_PtEdoTez.Sapling.Hash.tSource
module Roots_pos : 
  Storage_sigs.Single_data_storage
    with type t := Raw_context.t * id
     and type value = int32Source
module Roots_level : 
  Storage_sigs.Single_data_storage
    with type t := Raw_context.t * id
     and type value = Raw_level_repr.t sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >