ExampleFromLesson2WithMods.txt

If
    (ValueLE
        (ConstantParam "DepositAmount")
        (Constant 0)
    )
    Close 
    (Let
        "Amount"
        (ConstantParam "DepositAmount")
        (When
            [Case
                (Deposit
                    (Role "Giver1")
                    (Role "Giver1")
                    (Token "" "")
                    (UseValue "Amount")
                )
                (When
                    [Case
                        (Choice
                            (ChoiceId
                                "Choice"
                                (Role "Chooser")
                            )
                            [Bound 1 2]
                        )
                        (If
                            (ValueEQ
                                (ChoiceValue
                                    (ChoiceId
                                        "Choice"
                                        (Role "Chooser")
                                    ))
                                (Constant 1)
                            )
                            (Pay
                                (Role "Giver1")
                                (Party (Role "Receiver1"))
                                (Token "" "")
                                (UseValue "Amount")
                                Close 
                            )
                            (Pay
                                (Role "Giver1")
                                (Party (Role "Receiver2"))
                                (Token "" "")
                                (UseValue "Amount")
                                Close 
                            )
                        )]
                    (TimeParam "ChoiceDealine")
                    Close 
                )]
            (TimeParam "DepositDeadline")
            Close 
        )
    )