https://gitlab.com/tezos/tezos
Raw File
Tip revision: 21f6f3d87dec681fd711036387cf7b4b3da7be47 authored by Gauthier SEBILLE on 25 August 2023, 13:52:51 UTC
DAC: fix deamon of DAC
Tip revision: 21f6f3d
or_bool-bool_00.tzt
code { OR } ;
input { Stack_elt bool False ; Stack_elt bool False } ;
output { Stack_elt bool False }
back to top