Skip to content

Instantly share code, notes, and snippets.

@specpro30
Created April 2, 2021 05:24
Show Gist options
  • Save specpro30/66591f478a7e96bfc550f48d408ade9b to your computer and use it in GitHub Desktop.
Save specpro30/66591f478a7e96bfc550f48d408ade9b to your computer and use it in GitHub Desktop.
Bet3
When
[Case
(Deposit
(PK "ourbet")
(Role "player1")
(Token "" "")
(Constant 15)
)
(When
[Case
(Deposit
(PK "ourbet")
(Role "player2")
(Token "" "")
(Constant 15)
)
?contract]
30
(Pay
(PK "ourbet")
(Party (Role "player1"))
(Token "" "")
(Constant 15)
Close
)
)]
20 Close
{"valueParameterDescriptions":[],"slotParameterDescriptions":[],"roleDescriptions":[],"contractType":"O","contractName":"","contractDescription":"","choiceDescriptions":[]}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment