https://gitlab.com/tezos/tezos
Raw File
Tip revision: 859ad53d118deb65fda70547abe20731c6e92aba authored by Emma Turner on 09 October 2023, 10:54:43 UTC
nix: disable stackprotector on all platforms
Tip revision: 859ad53
view_mutual_recursion.tz
parameter (pair nat address) ;
storage nat;
code {
       CAR;
       DUP;
       CDR;
       SWAP;
       VIEW "is_twenty" nat;
       IF_SOME {NIL operation ; PAIR;} { FAIL }
     }

back to top