Revision a763dde6d0df28614dc8224591d94cb581237bd0 authored by Lucas Randazzo on 29 February 2024, 12:40:59 UTC, committed by Lucas Randazzo on 06 March 2024, 09:58:18 UTC
1 parent c1669fe
Raw File
split_ticket_04.tzt
code SPLIT_TICKET;
input
  {
    Stack_elt (ticket string) (Pair "KT1Q36KWPSba7dHsH5E4ZsQHehrChc51e19d" "Blue" 42) ;
    Stack_elt (pair nat nat) (Pair 18 18) ;
  } ;
output { Stack_elt (option (pair (ticket string) (ticket string))) None } ;
back to top