Marlowe Meet 1 - 4

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

playground.marlowe.json

{}