path: root/testsuite/runnable/define_multiple_local_variables.elna

program()
proc f() -> Bool
var
  a, b: Int := 5
return a = 5 & b = 5

begin
  assert(f())
end.