https://gitlab.com/tezos/tezos
Raw File
Tip revision: f38eb91bf230381a93d10e954c0c3f9d740b8b76 authored by mattiasdrp on 25 March 2024, 16:03:06 UTC
Irmin: Clarify Irmin (module signatures and names)
Tip revision: f38eb91
gt_02.tzt
code { GT } ;
input { Stack_elt int 0 } ;
output { Stack_elt bool False } ;
back to top