Details

Code

Transactions

Download

Contract ID	2cdea3ffd780ca7920f3789a4109574648908f0bf3300cb5632e31a1d9a2cb6d#1
Current state	Contract closed

When [
  (Case
     (Deposit
        (Role "Seller")
        (Role "Seller")
        (Token "" "")
        (Constant 100000000))
     (When [
        (Case
           (Deposit
              (Role "Buyer")
              (Role "Buyer")
              (Token "" "")
              (Constant 100000000))
           (When [
              (Case
                 (Deposit
                    (Role "Seller")
                    (Role "Buyer")
                    (Token "" "")
                    (Constant 200000000))
                 (When [
                       (Case
                          (Choice
                             (ChoiceId "Everything is alright"
                                (Role "Buyer")) [
                             (Bound 0 0)]) Close)
                       ,
                       (Case
                          (Choice
                             (ChoiceId "Report problem"
                                (Role "Buyer")) [
                             (Bound 1 1)])
                          (Pay
                             (Role "Seller")
                             (Account
                                (Role "Buyer"))
                             (Token "" "")
                             (Constant 200000000)
                             (When [
                                   (Case
                                      (Choice
                                         (ChoiceId "Confirm problem"
                                            (Role "Seller")) [
                                         (Bound 1 1)]) Close)
                                   ,
                                   (Case
                                      (Choice
                                         (ChoiceId "Dispute problem"
                                            (Role "Seller")) [
                                         (Bound 0 0)])
                                      (Pay
                                         (Role "Seller")
                                         (Party
                                            (Role "Guarantor"))
                                         (Token "" "")
                                         (Constant 100000000)
                                         (Pay
                                            (Role "Buyer")
                                            (Party
                                               (Role "Guarantor"))
                                            (Token "" "")
                                            (Constant 100000000) Close)))] 1700073391316 Close)))] 1700071591316 Close))] 1700069791316 Close))] 1700067991316 Close))] 1700066191316 Close