Record

Also written: record

A short Java class for holding data, such as `record Slot(int start, int end)`. Records are immutable, print their field names, and compare by content, so they work as set or map keys.