hasProof method

Implementation

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