Skip to content

Instantly share code, notes, and snippets.

@ajuggler
Created June 9, 2022 21:38
Show Gist options
  • Save ajuggler/edd7656a3ded1998300c1282556442a3 to your computer and use it in GitHub Desktop.
Save ajuggler/edd7656a3ded1998300c1282556442a3 to your computer and use it in GitHub Desktop.
tmp
{"valueParameterInfo":[],"timeParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Funds from two parties get transferred to a receiving party","contractName":"MPP - Double Giving (HW)","contractLongDescription":"Funds from two parties get transferred to a receiving party","choiceInfo":[]}
When
[Case
(Deposit
(Role "Giver1")
(Role "Giver1")
(Token "" "")
(Constant 50000000)
)
(When
[Case
(Deposit
(Role "Giver2")
(Role "Giver2")
(Token "" "")
(Constant 50000000)
)
(Pay
(Role "Giver1")
(Party (Role "Receiver"))
(Token "" "")
(AvailableMoney
(Role "Giver1")
(Token "" "")
)
(Pay
(Role "Giver2")
(Party (Role "Receiver"))
(Token "" "")
(AvailableMoney
(Role "Giver2")
(Token "" "")
)
Close
)
)]
(TimeParam "D2Deadline")
Close
)]
(TimeParam "D1Deadline")
Close
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment