https://gitlab.com/tezos/tezos
Raw File
Tip revision: 631a98d972d832382af739ef0d622ce0157f0ac8 authored by Thomas Letan on 04 March 2024, 09:18:27 UTC
fixup: rebase command
Tip revision: 631a98d
update_mapintint_01.tzt
code { UPDATE } ;
input { Stack_elt int 1 ; Stack_elt (option int) (Some 12) ; Stack_elt (map int int) { Elt 1 3 ; Elt 5 2 } } ;
output { Stack_elt (map int int) { Elt 1 12 ; Elt 5 2 } }
back to top