package tezos-protocol-009-PsFLoren

  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_009_PsFLoren__Environment.Error_monad.error Tezos_protocol_environment_009_PsFLoren__Environment.Error_monad.trace) 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_009_PsFLoren__Environment.Error_monad.error Tezos_protocol_environment_009_PsFLoren__Environment.Error_monad.trace) 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_009_PsFLoren__Environment.Error_monad.error Tezos_protocol_environment_009_PsFLoren__Environment.Error_monad.trace) 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_009_PsFLoren__Environment.Error_monad.error Tezos_protocol_environment_009_PsFLoren__Environment.Error_monad.trace) result Lwt.t