tezos-protocol-020-PsParisC 20.1

type id = Lazy_storage_kind.Sapling_state.Id.t

val rpc_arg : id Tezos_protocol_environment_020_PsParisC.RPC_arg.t

module Next : sig ... end

val copy : 
  Raw_context.t ->
  from:id ->
  to_:id ->
  Raw_context.t Tezos_protocol_environment_020_PsParisC.Error_monad.tzresult
    Tezos_protocol_environment_020_PsParisC.Lwt.t

val remove : 
  Raw_context.t ->
  id ->
  Raw_context.t Tezos_protocol_environment_020_PsParisC.Lwt.t

module Total_bytes : 
  Storage_sigs.Indexed_data_storage
    with type key = id
     and type value = Tezos_protocol_environment_020_PsParisC.Z.t
     and type t := Raw_context.t

module Commitments_size : 
  Storage_sigs.Single_data_storage
    with type t := Raw_context.t * id
     and type value = int64

module Memo_size : 
  Storage_sigs.Single_data_storage
    with type t := Raw_context.t * id
     and type value = int

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_020_PsParisC.Sapling.Hash.t

val commitments_init : 
  Raw_context.t ->
  id ->
  Raw_context.t Tezos_protocol_environment_020_PsParisC.Lwt.t

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_020_PsParisC.Sapling.Ciphertext.t

val ciphertexts_init : 
  Raw_context.t ->
  id ->
  Raw_context.t Tezos_protocol_environment_020_PsParisC.Lwt.t

module Nullifiers_size : 
  Storage_sigs.Single_data_storage
    with type t := Raw_context.t * id
     and type value = int64

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_020_PsParisC.Sapling.Nullifier.t

module Nullifiers_hashed : 
  Storage_sigs.Carbonated_data_set_storage
    with type t := Raw_context.t * id
     and type elt = Tezos_protocol_environment_020_PsParisC.Sapling.Nullifier.t

val nullifiers_init : 
  Raw_context.t ->
  id ->
  Raw_context.t Tezos_protocol_environment_020_PsParisC.Lwt.t

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_020_PsParisC.Sapling.Hash.t

module Roots_pos : 
  Storage_sigs.Single_data_storage
    with type t := Raw_context.t * id
     and type value = int32

module Roots_level : 
  Storage_sigs.Single_data_storage
    with type t := Raw_context.t * id
     and type value = Raw_level_repr.t

package tezos-protocol-020-PsParisC