package tezos-protocol-008-PtEdoTez

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val init : 
  Raw_context.t ->
  Storage.Sapling.id ->
  Raw_context.t Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val size : 
  Raw_context.t ->
  Lazy_storage_kind.Sapling_state.Id.t ->
  Storage.Sapling.Nullifiers_size.value
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdoTez.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_PtEdoTez.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val add : 
  Raw_context.t ->
  Lazy_storage_kind.Sapling_state.Id.t ->
  Storage.Sapling.Nullifiers_hashed.elt list ->
  (Raw_context.t * Tezos_protocol_environment_008_PtEdoTez.Z.t,
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.error
      Tezos_protocol_environment_008_PtEdoTez.Error_monad.trace)
    Tezos_protocol_environment_008_PtEdoTez.Pervasives.result
    Tezos_protocol_environment_008_PtEdoTez.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_PtEdoTez.Error_monad.error
      Tezos_protocol_environment_008_PtEdoTez.Error_monad.trace)
    Tezos_protocol_environment_008_PtEdoTez.Pervasives.result
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t