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
ediv_int-int_00.tzt
code { EDIV } ;
input { Stack_elt int 10 ; Stack_elt int -3 } ;
output { Stack_elt (option (pair int nat)) (Some (Pair -3 1)) }
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...