Details

Code

Transactions

Download

Contract ID	75216c9b6d2b3820df05c194f196782d7c0639e43c967364cd46137a89864b14#1
Current state	Party Currency (token name) Amount Address: addr_test1qrf247qqm5gj2vc05ah3ddnz09nmne2mnncy4222fwf7ngawk32gzpxv9aqy4q0hwsyvqr6l0j3c4fc6m59vdal5qjxqwacqwg ADA 2.000000 Accounts
minTime	(POSIX: 1711895155000)

When [
  (Case
     (Deposit
        (Role "Seller")
        (Role "Seller")
        (Token "" "")
        (Constant 0))
     (When [
        (Case
           (Deposit
              (Role "Buyer")
              (Role "Buyer")
              (Token "" "")
              (Constant 0))
           (When [
              (Case
                 (Deposit
                    (Role "Seller")
                    (Role "Buyer")
                    (Token "" "")
                    (Constant 0))
                 (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 0)
                             (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
                                            (Address "addr_test1vqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqd9tg5t"))
                                         (Token "" "")
                                         (Constant 0)
                                         (Pay
                                            (Role "Buyer")
                                            (Party
                                               (Address "addr_test1vqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqd9tg5t"))
                                            (Token "" "")
                                            (Constant 0) Close)))] 1711903948381 Close)))] 1711902148381 Close))] 1711900348381 Close))] 1711898548381 Close))] 1711896748381 Close