path: root/testsuite/runnable/aggregate_argument.elna

type
  R = record
    a: Int;
    b: Int
  end

proc f(r: R) -> Bool
return r.a = 1 & r.b = 2

begin
  assert(f(R{a: 1, b: 2}))
end.