Skip to main content

Browse the archive

swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e
Raw File
Tip revision: b811cc629d9fb689a4d7b6b6279229563cc643ed authored by Anne-Laure on 13 March 2024, 09:28:11 UTC
Dal_node/Amplificator: parent triggers child’s exit
Tip revision: b811cc6
ifleft_orintstring_00.tzt 
code { IF_LEFT { PUSH int 1 ; ADD } { UNIT ; FAILWITH } } ;
input { Stack_elt (or int string) (Left 1) } ;
output { Stack_elt int 2 }
back to top