hasProofOps method

@TagNumber(8) bool hasProofOps()

Implementation

@$pb.TagNumber(8)
$core.bool hasProofOps() => $_has(6);