hasNumberOfLeadingZeros method

@TagNumber(8) bool hasNumberOfLeadingZeros()

Implementation

@$pb.TagNumber(8)
$core.bool hasNumberOfLeadingZeros() => $_has(7);