Revision 3a9c77e1570418930713e762dbeab783bb23810f authored by Hantang Sun on 02 April 2024, 15:47:22 UTC, committed by Marge Bot on 03 April 2024, 13:08:26 UTC
1 parent 5aefaac
Raw File
map_mapintint_00.tzt
code { MAP { CDR ; DUP ; ADD } } ;
input { Stack_elt (map int int) { Elt 1 3 ; Elt 5 2 } } ;
output { Stack_elt (map int int) { Elt 1 6 ; Elt 5 4 } }
back to top