HBT to ADA

blockly.xml

When
    [Case
        (Deposit
            (Role "HBT provider")
            (Role "HBT provider")
            (Token "708238" "HBT")
            (MulValue
                (Constant 1000000)
                (ConstantParam "Amount of HBT")
            )
        )
        (When
            [Case
                (Deposit
                    (Role "ADA provider")
                    (Role "ADA provider")
                    (Token "" "")
                    (ConstantParam "Amount of ADA")
                )
                (Pay
                    (Role "HBT provider")
                    (Party (Role "ADA provider"))
                    (Token "708238" "HBT")
                    (MulValue
                        (Constant 1000000)
                        (ConstantParam "Amount of HBT")
                    )
                    (Pay
                        (Role "ADA provider")
                        (Party (Role "HBT provider"))
                        (Token "" "")
                        (ConstantParam "Amount of ADA")
                        Close 
                    )
                )]
            (SlotParam "Timeout for ADA deposit")
            Close 
        )]
    (SlotParam "Timeout for HBT deposit")
    Close 

metadata.json

{"valueParameterDescriptions":[],"slotParameterDescriptions":[],"roleDescriptions":[],"contractType":"O","contractName":"","contractDescription":"","choiceDescriptions":[]}

playground.marlowe.json

{}