Files
Alessandro ScandoneandGitHub 5dfc34cd3c feat: feature flag syntax (#120)
* feat: feature flag syntax

* feat: change syntax

* feat: reject invalid features

* feat: add static check of unknown features

* feat: more defensive args handling

* fix: fix typo
2026-03-04 13:32:35 +00:00

14 lines
188 B
Plaintext

vars {
number $amt
}
send [EUR $amt] (
source = @world
destination = oneof {
max overdraft(@alice, EUR) to @alice
max overdraft(@bob, EUR) to @bob
remaining kept
}
)