Mavryk_raw_protocol_001_PtAtLas.Sapling_validatorval check_and_update_nullifiers :
Raw_context.t ->
Sapling_storage.state ->
Mavryk_protocol_environment_001_PtAtLas.Sapling.UTXO.input list ->
(Raw_context.t * Sapling_storage.state option,
Mavryk_protocol_environment_001_PtAtLas.Error_monad.error
Mavryk_protocol_environment_001_PtAtLas.Error_monad.trace)
Mavryk_protocol_environment_001_PtAtLas.Pervasives.result
Mavryk_protocol_environment_001_PtAtLas.Lwt.tval verify_update :
Raw_context.t ->
Sapling_storage.state ->
Sapling_repr.transaction ->
string ->
(Raw_context.t
* (Mavryk_protocol_environment_001_PtAtLas.Int64.t * Sapling_storage.state)
option)
Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
Mavryk_protocol_environment_001_PtAtLas.Lwt.t