hasProof method

Implementation

@TagNumber(1)
bool hasProof() => $_has(0);