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