Chapter 9
Extended records

 9.1 Definition
 9.2 Extended record enumerators