1
0
Fork 0
mirror of https://github.com/ton-blockchain/ton synced 2025-03-09 15:40:10 +00:00
This commit is contained in:
Daniil Sedov 2023-02-05 13:28:53 +03:00 committed by GitHub
parent 00b399c7a0
commit 7c7555300b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -624,7 +624,7 @@ int equal_slice_bits (slice a, slice b) asm "SDEQ";
builder store_builder(builder to, builder from) asm "STBR";
;; Detaches the last element x=x_n from a non-empty Tuple t=(x_1,...,x_n), and returns both the resulting Tuple t'=(x_1,...,x_{n-1}) and the original last element x.
forall X -> tuple tpop(tuple t) asm "TPOP";
forall X -> (tuple, X) tpop(tuple t) asm "TPOP";
forall X -> (tuple, X) ~tpop(tuple t) asm "TPOP";
;; Returns the length of a Tuple.