https://gitlab.com/tezos/tezos
Raw File
Tip revision: 0af68dc7c6c2a2bf9c2d7b3412de733610ae081f authored by Arvid Jakobsson on 23 February 2024, 09:47:15 UTC
An empty commit
Tip revision: 0af68dc
and_int-nat_03.tzt
code { AND } ;
input { Stack_elt int 12 ; Stack_elt nat 5 } ;
output { Stack_elt nat 4 }
back to top