Marlowe Meet 1 - 2

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 "buyer")
            (Role "buyer")
            (Token "" "")
            (Constant 1000)
        )
        (When
            [Case
                (Choice
                    (ChoiceId
                        "itemreceived"
                        (Role "buyer")
                    )
                    [Bound 1 2]
                )
                (If
                    (ValueEQ
                        (ChoiceValue
                            (ChoiceId
                                "itemreceived"
                                (Role "buyer")
                            ))
                        (Constant 1)
                    )
                    (Pay
                        (Role "buyer")
                        (Account (Role "seller"))
                        (Token "" "")
                        (Constant 1000)
                        Close 
                    )
                    Close 
                )]
            1673272440000 Close 
        )]
    1673275980000 Close 

playground.marlowe.json

{}