arlmet.File.records# property File.records: list[DataRecord]# All DataRecords in the file, in times order.