Revision d5bc2d9dd1e639c25d3966ff393dcdd798a28f2c authored by Antonio Locascio on 01 February 2024, 08:25:01 UTC, committed by Marge Bot on 02 February 2024, 14:33:07 UTC
eth_sendRawTransaction and eth_getTransactionReceipt
1 parent 5498a70
Raw File
mem_mapnatnat_04.tzt
code { MEM } ;
input { Stack_elt nat 2 ; Stack_elt (map nat nat) { Elt 1 4 ; Elt 2 11 } } ;
output { Stack_elt bool True }
back to top