https://gitlab.com/tezos/tezos
Raw File
Tip revision: d1cd2cc85ee5da6892373e7926b3f1b226d6371b authored by Ole Krüger on 15 February 2024, 12:47:19 UTC
WIP: Code gen
Tip revision: d1cd2cc
packunpack_bytes_00.tzt
code { PACK ; UNPACK bytes } ;
input { Stack_elt bytes 0x00AABBCC } ;
output { Stack_elt (option bytes) (Some 0x00AABBCC) }
back to top