Skip to content

Instantly share code, notes, and snippets.

@jhotson
Last active May 13, 2021 23:07
Show Gist options
  • Save jhotson/95c3db6bb6dd42bcfde31cbd6dc7a359 to your computer and use it in GitHub Desktop.
Save jhotson/95c3db6bb6dd42bcfde31cbd6dc7a359 to your computer and use it in GitHub Desktop.
Rebar
When
[Case
(Deposit
(Role "Owner")
(Role "Tenant")
(Token "" "")
(Constant 700)
)
(When
[Case
(Choice
(ChoiceId
"Owner Accepts Tenant"
(Role "Owner")
)
[Bound 1 2]
)
(If
(ValueEQ
(ChoiceValue
(ChoiceId
"Tentant Accepts"
(Role "Landlord")
))
(Constant 1)
)
?contract1 ?contract2
)]
1
(Pay
(Role "Owner")
(Party (Role "Tenant"))
(Token "" "")
(Constant 700)
Close
)
)]
1 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