ShardIndex constructor
Implementation
factory ShardIndex({
$core.int? index,
$core.int? ofTotal,
}) {
final _result = create();
if (index != null) {
_result.index = index;
}
if (ofTotal != null) {
_result.ofTotal = ofTotal;
}
return _result;
}