Wolfram

metadata.json

{"valueParameterInfo":[],"timeParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Unknown","contractName":"Unknown","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]}

playground.marlowe

When
    [Case
        (Deposit
            (Role "Alice")
            (Role "Alice")
            (Token "" "")
            (Constant 1000)
        )
        (When
            [Case
                (Deposit
                    (Role "Bob")
                    (Role "Bob")
                    (Token "" "")
                    (Constant 1000)
                )
                (When
                    [Case
                        (Choice
                            (ChoiceId
                                "WOLF_BTCUSD"
                                (Address "addr_test1vrxx3rjangevudlrejgp9m508uc26jd02n7lmdz365n4wrca35y5j")
                            )
                            [Bound 0 100000000]
                        )
                        (If
                            (ValueLT
                                (ChoiceValue
                                    (ChoiceId
                                        "WOLF_BTCUSD"
                                        (Address "addr_test1vrxx3rjangevudlrejgp9m508uc26jd02n7lmdz365n4wrca35y5j")
                                    ))
                                (Constant 1000000)
                            )
                            (Pay
                                (Role "Alice")
                                (Party (Role "Bob"))
                                (Token "" "")
                                (Constant 1000)
                                Close 
                            )
                            (Pay
                                (Role "Bob")
                                (Party (Role "Alice"))
                                (Token "" "")
                                (Constant 1000)
                                Close 
                            )
                        )]
                    431686350279989 Close 
                )]
            216863500634957 Close 
        )]
    21686350063495 Close 

playground.marlowe.json

{}