Details

Code

Transactions

Download

Contract ID	a935937eda163d7a6e6798480897492e7f97a2cdfc53d4450d861bdab2772925#1
Current state	Contract closed

When [
  (Case
     (Deposit
        (Role "Seller")
        (Role "Buyer")
        (Token "" "")
        (Constant 1000000))
     (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 1000000)
                 (When [
                       (Case
                          (Choice
                             (ChoiceId "Confirm problem"
                                (Role "Seller")) [
                             (Bound 1 1)]) Close)
                       ,
                       (Case
                          (Choice
                             (ChoiceId "Dispute problem"
                                (Role "Seller")) [
                             (Bound 0 0)])
                          (When [
                                (Case
                                   (Choice
                                      (ChoiceId "Dismiss claim"
                                         (Role "Mediator")) [
                                      (Bound 0 0)])
                                   (Pay
                                      (Role "Buyer")
                                      (Party
                                         (Role "Seller"))
                                      (Token "" "")
                                      (Constant 1000000) Close))
                                ,
                                (Case
                                   (Choice
                                      (ChoiceId "Confirm problem"
                                         (Role "Mediator")) [
                                      (Bound 1 1)]) Close)] 1707201192337 Close))] 1707199392337 Close)))] 1707197592337 Close))] 1707195792337 Close