Revision 4376b9b2d6347e9c623b4afcd08440872ea62639 authored by Felix Puscasu on 25 January 2024, 16:31:31 UTC, committed by Marge Bot on 02 February 2024, 16:09:40 UTC
1 parent 5bf5f67
Raw File
map_mapintint_01.tzt
code { MAP { CDR ; ADD ; DUP } } ;
input { Stack_elt (map int int) { Elt 1 3 ; Elt 5 2 ; Elt 12 20 } ; Stack_elt int 0 } ;
output { Stack_elt (map int int) { Elt 1 3 ; Elt 5 5 ; Elt 12 25 } ; Stack_elt int 25 }
back to top