path: root/testsuite/runnable/aggregate_equality.elna

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

proc f() -> Bool
return R{a: 1, b: 2} = R{a: 1, b: 2}

program()
begin
  assert(f())
end.