Details

Code

Transactions

Download

Contract ID	6506f4b9a0b001ce554810b75d0c5180522a1131fbde7a17cdbe5c4ed1d8377b#1
Current state	Contract closed

When [
  (Case
     (Deposit
        (Role "Party")
        (Role "Party")
        (Token "" "")
        (Constant 100000000))
     (When [
        (Case
           (Deposit
              (Role "Counterparty")
              (Role "Counterparty")
              (Token "" "")
              (Constant 100000000))
           (When [] 1700070170955
              (When [
                 (Case
                    (Choice
                       (ChoiceId "Price in first window"
                          (Role "Oracle")) [
                       (Bound 0 1000000000)])
                    (When [] 1700073770955
                       (When [
                          (Case
                             (Choice
                                (ChoiceId "Price in second window"
                                   (Role "Oracle")) [
                                (Bound 0 1000000000)])
                             (If
                                (ValueGT
                                   (ChoiceValue
                                      (ChoiceId "Price in first window"
                                         (Role "Oracle")))
                                   (ChoiceValue
                                      (ChoiceId "Price in second window"
                                         (Role "Oracle"))))
                                (Let "Decrease in price"
                                   (SubValue
                                      (ChoiceValue
                                         (ChoiceId "Price in first window"
                                            (Role "Oracle")))
                                      (ChoiceValue
                                         (ChoiceId "Price in second window"
                                            (Role "Oracle"))))
                                   (Pay
                                      (Role "Counterparty")
                                      (Account
                                         (Role "Party"))
                                      (Token "" "")
                                      (Cond
                                         (ValueLT
                                            (UseValue "Decrease in price")
                                            (Constant 100000000))
                                         (UseValue "Decrease in price")
                                         (Constant 100000000)) Close))
                                (If
                                   (ValueLT
                                      (ChoiceValue
                                         (ChoiceId "Price in first window"
                                            (Role "Oracle")))
                                      (ChoiceValue
                                         (ChoiceId "Price in second window"
                                            (Role "Oracle"))))
                                   (Let "Increase in price"
                                      (SubValue
                                         (ChoiceValue
                                            (ChoiceId "Price in second window"
                                               (Role "Oracle")))
                                         (ChoiceValue
                                            (ChoiceId "Price in first window"
                                               (Role "Oracle"))))
                                      (Pay
                                         (Role "Party")
                                         (Account
                                            (Role "Counterparty"))
                                         (Token "" "")
                                         (Cond
                                            (ValueLT
                                               (UseValue "Increase in price")
                                               (Constant 100000000))
                                            (UseValue "Increase in price")
                                            (Constant 100000000)) Close)) Close)))] 1700075570955 Close)))] 1700071970955 Close)))] 1700068370955 Close))] 1700066570955 Close