/RecordType.sig/1.6/Wed Jun 20 12:29:38 2001//
/RecordType.sml/1.23/Wed Jun 20 12:30:50 2001//
D
