Env.Tmodule M : Rosetta_lib.Monad_fail.Stype t = {verify_payment_signature : network_identifier:
Rosetta_models.Network_identifier.t ->
payment:Transaction.Unsigned.Rendered.Payment.t ->
signature:Mina_base.Signature.t ->
unit ->
( bool, Rosetta_lib.Errors.t ) M.t; |
lift : 'a 'e. ( 'a, 'e ) Core_kernel.Result.t -> ( 'a, 'e ) M.t; |
}