package tezos-protocol-008-PtEdo2Zk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val size : Raw_context.t -> Lazy_storage_kind.Sapling_state.Id.t -> (Storage.Sapling.Nullifiers_size.value, Tezos_protocol_environment_008_PtEdo2Zk__Environment.Error_monad.error list) result Lwt.t
val mem : Raw_context.t -> Lazy_storage_kind.Sapling_state.Id.t -> Storage.Sapling.Nullifiers_hashed.elt -> (Raw_context.t * bool, Tezos_protocol_environment_008_PtEdo2Zk__Environment.Error_monad.error list) result Lwt.t
val add : Raw_context.t -> Lazy_storage_kind.Sapling_state.Id.t -> Storage.Sapling.Nullifiers_hashed.elt list -> (Raw_context.t * Z.t, Tezos_protocol_environment_008_PtEdo2Zk__Environment.Error_monad.error list) result Lwt.t
val get_from : Raw_context.t -> Lazy_storage_kind.Sapling_state.Id.t -> Storage.Sapling.Nullifiers_ordered.key -> (Storage.Sapling.Nullifiers_ordered.value list, Tezos_protocol_environment_008_PtEdo2Zk__Environment.Error_monad.error list) result Lwt.t