package tezos-protocol-019-PtParisB

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_019_PtParisB.Sapling.UTXO.input list ->
  (Raw_context.t * Sapling_storage.state option,
    Tezos_protocol_environment_019_PtParisB.Error_monad.error
      Tezos_protocol_environment_019_PtParisB.Error_monad.trace)
    Tezos_protocol_environment_019_PtParisB.Pervasives.result
    Tezos_protocol_environment_019_PtParisB.Lwt.t

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