path: root/research/experiments/045-proof-compiler/units/arith.aup

state t = 0
input go = message { n: u32 }
on go {
  let s = 0
  for i in 0 .. go.n { s = s + i * 2 }
  t = s
}