double pay (blockly)

metadata.json

{"valueParameterInfo":[["Deposit",{"valueParameterFormat":{"contents":[6,"ada"],"tag":"DecimalFormat"},"valueParameterDescription":"Deposit by each giver"}]],"timeParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Two givers pay to one recipient","contractName":"Double Pay (Blockly)","contractLongDescription":"Two givers pay to one recipient","choiceInfo":[]}

playground.marlowe

When
    [Case
        (Deposit
            (Role "Giver1")
            (Role "Giver1")
            (Token "" "")
            (ConstantParam "Deposit")
        )
        (When
            [Case
                (Deposit
                    (Role "Giver2")
                    (Role "Giver2")
                    (Token "" "")
                    (ConstantParam "Deposit")
                )
                (Pay
                    (Role "Giver1")
                    (Party (Role "Receiver"))
                    (Token "" "")
                    (AvailableMoney
                        (Role "Giver1")
                        (Token "" "")
                    )
                    (Pay
                        (Role "Giver2")
                        (Party (Role "Receiver"))
                        (Token "" "")
                        (AvailableMoney
                            (Role "Giver2")
                            (Token "" "")
                        )
                        Close 
                    )
                )]
            (TimeParam "Deadline")
            Close 
        ), Case
        (Deposit
            (Role "Giver2")
            (Role "Giver2")
            (Token "" "")
            (ConstantParam "Deposit")
        )
        (When
            [Case
                (Deposit
                    (Role "Giver1")
                    (Role "Giver1")
                    (Token "" "")
                    (ConstantParam "Deposit")
                )
                (Pay
                    (Role "Giver1")
                    (Party (Role "Receiver"))
                    (Token "" "")
                    (AvailableMoney
                        (Role "Giver1")
                        (Token "" "")
                    )
                    (Pay
                        (Role "Giver2")
                        (Party (Role "Receiver"))
                        (Token "" "")
                        (AvailableMoney
                            (Role "Giver2")
                            (Token "" "")
                        )
                        Close 
                    )
                )]
            (TimeParam "Deadline")
            Close 
        )]
    (TimeParam "Deadline")
    Close 

playground.marlowe.json

{}