6.5. Records¶
- 6.5.1. Record field name resolution
- 6.5.2. Traditional record syntax
- 6.5.3. Field selectors and
TypeApplications
- 6.5.4. Record field disambiguation
- 6.5.5. Duplicate record fields
- 6.5.6. Field selectors
- 6.5.7. Record puns
- 6.5.8. Record wildcards
- 6.5.9. Record field selector polymorphism
- 6.5.10. Overloaded record dot
- 6.5.11. Overloaded record update