aqua/aqua-src/antithesis.aqua

10 lines
145 B
Plaintext

aqua Main
export main
func reward(amount: ?u32) -> u32:
result = ?[amount! / 10, 0]
<- result!
func main(a: u32) -> u32:
<- reward(?[a])