simple choice

metadata.json

{"valueParameterInfo":[["Amount",{"valueParameterFormat":{"contents":[6,"ada"],"tag":"DecimalFormat"},"valueParameterDescription":"Amount to be transferred"}]],"timeParameterDescriptions":[["DepositDeadline","Deposit deadline"],["ChoiceDeadline","Make choice deadline"]],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Unknown","contractName":"Simple Choice","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]}

playground.marlowe

Let
    "amount"
    (ConstantParam "Amount")
    (When
        [Case
            (Deposit
                (Role "Giver")
                (Role "Giver")
                (Token "" "")
                (UseValue "amount")
            )
            (When
                [Case
                    (Choice
                        (ChoiceId
                            "Choice"
                            (Role "Chooser")
                        )
                        [Bound 1 2]
                    )
                    (If
                        (ValueEQ
                            (ChoiceValue
                                (ChoiceId
                                    "Choice"
                                    (Role "Chooser")
                                ))
                            (Constant 1)
                        )
                        (Pay
                            (Role "Giver")
                            (Account (Role "Receiver1"))
                            (Token "" "")
                            (UseValue "amount")
                            Close 
                        )
                        (Pay
                            (Role "Giver")
                            (Account (Role "Receiver2"))
                            (Token "" "")
                            (UseValue "amount")
                            Close 
                        )
                    )]
                (TimeParam "ChoiceDeadline")
                Close 
            )]
        (TimeParam "DepositDeadline")
        Close 
    )

playground.marlowe.json

{}