Revision a763dde6d0df28614dc8224591d94cb581237bd0 authored by Lucas Randazzo on 29 February 2024, 12:40:59 UTC, committed by Lucas Randazzo on 06 March 2024, 09:58:18 UTC
1 parent c1669fe
Raw File
mem_setint_00.tzt
code { MEM } ;
input { Stack_elt int 2 ; Stack_elt (set int) { 1 ; 3 ; 5 ; 7 } } ;
output { Stack_elt bool False }
back to top