ensureEqualTo method

@TagNumber(9) Proof_EqualTo ensureEqualTo()

Implementation

@$pb.TagNumber(9)
Proof_EqualTo ensureEqualTo() => $_ensure(8);