Sapling (mavryk-protocol-alpha.Mavryk_raw_protocol

type id = Lazy_storage_kind.Sapling_state.Id.t

val rpc_arg : id Mavryk_protocol_environment_alpha.RPC_arg.t

module Next : sig ... end

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

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

module Total_bytes : 
  Storage_sigs.Indexed_data_storage
    with type key = id
     and type value = Mavryk_protocol_environment_alpha.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 = Mavryk_protocol_environment_alpha.Sapling.Hash.t

val commitments_init : 
  Raw_context.t ->
  id ->
  Raw_context.t Mavryk_protocol_environment_alpha.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 = Mavryk_protocol_environment_alpha.Sapling.Ciphertext.t

val ciphertexts_init : 
  Raw_context.t ->
  id ->
  Raw_context.t Mavryk_protocol_environment_alpha.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 = Mavryk_protocol_environment_alpha.Sapling.Nullifier.t

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

val nullifiers_init : 
  Raw_context.t ->
  id ->
  Raw_context.t Mavryk_protocol_environment_alpha.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 = Mavryk_protocol_environment_alpha.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