RankedElement_ constructor

RankedElement_({ int? id, double? score, int? rank, })

Implementation

factory RankedElement_({
  $core.int? id,
  $core.double? score,
  $core.int? rank,
}) {
  final $result = create();
  if (id != null) {
    $result.id = id;
  }
  if (score != null) {
    $result.score = score;
  }
  if (rank != null) {
    $result.rank = rank;
  }
  return $result;
}