Last active
April 15, 2024 18:57
-
-
Save brunjlar/e0eb3a8db3e268b6a3e05dd3e79292a1 to your computer and use it in GitHub Desktop.
MPP - Simple payment (Close)
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{"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 (Close)","contractLongDescription":"Giver makes a payment to Receiver.","choiceInfo":[]} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
When | |
[Case | |
(Deposit | |
(Role "Receiver") | |
(Role "Giver") | |
(Token "" "") | |
(Constant 100000000) | |
) | |
Close ] | |
(TimeParam "Deadline") | |
Close |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment