Untitled Project

blockly.xml

When
    [Case
        (Deposit
            (Role "bob")
            (Role "bob")
            (Token "" "")
            (Constant 4500)
        )
        (When
            [Case
                (Deposit
                    (Role "alice")
                    (Role "alice")
                    (Token "" "")
                    (Constant 4500)
                )
                (When
                    [Case
                        (Deposit
                            (Role "alice")
                            (Role "alice")
                            (Token "" "")
                            (Constant 450)
                        )
                        (When
                            [Case
                                (Choice
                                    (ChoiceId
                                        "choice"
                                        (Role "alice")
                                    )
                                    [Bound 0 1]
                                )
                                (When
                                    [Case
                                        (Choice
                                            (ChoiceId
                                                "choice"
                                                (Role "bob")
                                            )
                                            [Bound 0 1]
                                        )
                                        (If
                                            (ValueEQ
                                                (ChoiceValue
                                                    (ChoiceId
                                                        "choice"
                                                        (Role "alice")
                                                    ))
                                                (ChoiceValue
                                                    (ChoiceId
                                                        "choice"
                                                        (Role "bob")
                                                    ))
                                            )
                                            (If
                                                (ValueEQ
                                                    (ChoiceValue
                                                        (ChoiceId
                                                            "choice"
                                                            (Role "alice")
                                                        ))
                                                    (Constant 0)
                                                )
                                                (Pay
                                                    (Role "alice")
                                                    (Party (Role "bob"))
                                                    (Token "" "")
                                                    (Constant 450)
                                                    Close 
                                                )
                                                Close 
                                            )
                                            (Pay
                                                (Role "alice")
                                                (Party (Role "blackhole"))
                                                (Token "" "")
                                                (Constant 4500)
                                                (Pay
                                                    (Role "bob")
                                                    (Party (Role "blackhole"))
                                                    (Token "" "")
                                                    (Constant 4500)
                                                    Close 
                                                )
                                            )
                                        )]
                                    60
                                    (Pay
                                        (Role "alice")
                                        (Party (Role "blackhole"))
                                        (Token "" "")
                                        (Constant 4500)
                                        (Pay
                                            (Role "bob")
                                            (Party (Role "blackhole"))
                                            (Token "" "")
                                            (Constant 4500)
                                            Close 
                                        )
                                    )
                                )]
                            40
                            (Pay
                                (Role "alice")
                                (Party (Role "blackhole"))
                                (Token "" "")
                                (Constant 4500)
                                (Pay
                                    (Role "bob")
                                    (Party (Role "blackhole"))
                                    (Token "" "")
                                    (Constant 4500)
                                    Close 
                                )
                            )
                        )]
                    30 Close 
                )]
            20 Close 
        )]
    10 Close 

playground.marlowe.json

{}