Implement file.readlines()