[next] [prev] [prev-tail] [tail] [up]

Chapter 9
Extended records

9.1 Definition
9.2 Extended record enumerators
9.3 Record operators

[next] [prev] [prev-tail] [front] [up]

Page generated on 2026-08-24.  Report a problem on this page