Details

Code

Transactions

Download

Contract ID	9893cbe58e2f6cc16f2a0782cbb542f2931c0eeb7e46503cb4d2a9c18a34f9a7#1
Current state	Contract closed

When [
  (Case
     (Deposit
        (Role "p1")
        (Role "p1")
        (Token "" "")
        (Constant 100000000))
     (When [
           (Case
              (Choice
                 (ChoiceId "3_left"
                    (Role "p2")) [
                 (Bound 1 1)])
              (When [
                    (Case
                       (Choice
                          (ChoiceId "2_left"
                             (Role "p1")) [
                          (Bound 1 1)])
                       (When [
                          (Case
                             (Choice
                                (ChoiceId "1_left"
                                   (Role "p2")) [
                                (Bound 1 1)]) Close)] 1700065800000 Close))
                    ,
                    (Case
                       (Choice
                          (ChoiceId "2_left"
                             (Role "p1")) [
                          (Bound 2 2)])
                       (Pay
                          (Role "p1")
                          (Party
                             (Role "p2"))
                          (Token "" "")
                          (Constant 100000000) Close))] 1700065800000 Close))
           ,
           (Case
              (Choice
                 (ChoiceId "3_left"
                    (Role "p2")) [
                 (Bound 2 2)])
              (When [
                 (Case
                    (Choice
                       (ChoiceId "1_left"
                          (Role "p1")) [
                       (Bound 1 1)])
                    (Pay
                       (Role "p1")
                       (Party
                          (Role "p2"))
                       (Token "" "")
                       (Constant 100000000) Close))] 1700065800000 Close))] 1700065800000 Close))] 1700065800000 Close