records property

@TagNumber(1) List<LeaderboardRecord> records

Implementation

@$pb.TagNumber(1)
$core.List<LeaderboardRecord> get records => $_getList(0);