MPP - Simple payment (Pay)

metadata.json

{"valueParameterInfo":[],"timeParameterDescriptions":[["Deadline","Time by which the Giver's deposit has to be made."]],"roleDescriptions":[["Giver","The party making the payment."],["Receiver","The party receiving the payment."]],"contractType":"Other","contractShortDescription":"Giver makes a payment to Receiver.","contractName":"MPP - Simple payment (Pay)","contractLongDescription":"Giver makes a payment to Receiver.","choiceInfo":[]}

playground.marlowe

When
    [Case
        (Deposit
            (Role "Giver")
            (Role "Giver")
            (Token "" "")
            (Constant 100000000)
        )
        (Pay
            (Role "Giver")
            (Party (Role "Receiver"))
            (Token "" "")
            (AvailableMoney
                (Role "Giver")
                (Token "" "")
            )
            Close 
        )]
    (TimeParam "Deadline")
    Close 

playground.marlowe.json

{}