MPP - Simple payment (Parameters)

metadata.json

{"valueParameterInfo":[["Amount",{"valueParameterFormat":{"contents":[6,"ada"],"tag":"DecimalFormat"},"valueParameterDescription":"Amount to be transferred from Giver to Receiver."}]],"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 (Close)","contractLongDescription":"Giver makes a payment to Receiver.","choiceInfo":[]}

playground.marlowe

When
    [Case
        (Deposit
            (Role "Receiver")
            (Role "Giver")
            (Token "" "")
            (ConstantParam "Amount")
        )
        Close ]
    (TimeParam "Deadline")
    Close 

playground.marlowe.json

{}