package tezos-protocol-016-PtMumbai

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val check_and_update_nullifiers : 
  Raw_context.t ->
  Sapling_storage.state ->
  Tezos_protocol_environment_016_PtMumbai.Sapling.UTXO.input list ->
  (Raw_context.t * Sapling_storage.state option,
    Tezos_protocol_environment_016_PtMumbai.Error_monad.error
      Tezos_protocol_environment_016_PtMumbai.Error_monad.trace)
    Tezos_protocol_environment_016_PtMumbai.Pervasives.result
    Tezos_protocol_environment_016_PtMumbai.Lwt.t

val verify_update : 
  Raw_context.t ->
  Sapling_storage.state ->
  Sapling_repr.transaction ->
  string ->
  (Raw_context.t
   * (Tezos_protocol_environment_016_PtMumbai.Int64.t * Sapling_storage.state)
       option)
    Tezos_protocol_environment_016_PtMumbai.Error_monad.tzresult
    Tezos_protocol_environment_016_PtMumbai.Lwt.t