[
next
] [
prev
] [
prev-tail
] [
tail
] [
up
]
Chapter 9
Extended records
9.1
Definition
9.2
Extended record enumerators
[
next
] [
prev
] [
prev-tail
] [
front
] [
up
]