Skip to content

Instantly share code, notes, and snippets.

@da-blog
Created August 1, 2023 16:23
Show Gist options
  • Save da-blog/0c52fad9ec77117ef7b40445188c4981 to your computer and use it in GitHub Desktop.
Save da-blog/0c52fad9ec77117ef7b40445188c4981 to your computer and use it in GitHub Desktop.
template Distribution
with
fromDistributor: Party
toDistributor: Party
event: Text
tickets: Int
where
signatory fromDistributor
observer toDistributor
ensure (tickets > 0) && ((DA.Text.length (DA.Text.trim event)) > 0)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment