https://gitlab.com/tezos/tezos
Raw File
Tip revision: 9f66ec5d15c385abbed69eb4a58f2f48df00cb88 authored by Arvid Jakobsson on 18 July 2023, 13:40:06 UTC
Phony diff to see coverage
Tip revision: 9f66ec5
view_toplevel_duplicated_name.tz
parameter nat ;
storage nat ;
code { CAR ; NIL operation ; PAIR } ;
view "add" nat nat { UNPAIR ; ADD } ;
view "add" nat unit { DROP ; PUSH unit Unit } ;
back to top