Revision 66697c6a3b87aeae942ea4e7d2680a8e8f5e2beb authored by Pierrick Couderc on 02 April 2024, 14:30:59 UTC, committed by Pierrick Couderc on 02 April 2024, 14:53:07 UTC
1 parent fb7cd45
Raw File
ifcons_listnat_00.tzt
code { IF_CONS  { DIP{DROP}  } { UNIT ; FAILWITH }} ;
input { Stack_elt (list int) { 1 ; 2 ; 3 ; 4 } } ;
output { Stack_elt int 1 }
back to top