Simple Bet

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 "A")
            (Role "A")
            (Token "" "t")
            (Constant 1)
        )
        (When
            [Case
                (Deposit
                    (Role "B")
                    (Role "B")
                    (Token "" "t")
                    (Constant 1)
                )
                (When
                    [Case
                        (Choice
                            (ChoiceId
                                "win"
                                (Role "O")
                            )
                            [Bound 0 1]
                        )
                        (If
                            (ValueEQ
                                (ChoiceValue
                                    (ChoiceId
                                        "win"
                                        (Role "O")
                                    ))
                                (Constant 0)
                            )
                            (Pay
                                (Role "B")
                                (Party (Role "A"))
                                (Token "" "t")
                                (Constant 1)
                                Close 
                            )
                            (Pay
                                (Role "A")
                                (Party (Role "B"))
                                (Token "" "t")
                                (Constant 1)
                                Close 
                            )
                        )]
                    (TimeParam "timeout3")
                    Close 
                )]
            (TimeParam "timeout2")
            Close 
        )]
    (TimeParam "timeout1")
    Close 

playground.marlowe.json

{}