hasProof method

Implementation

@TagNumber(4)
bool hasProof() => $_has(3);