ensureRight method

@TagNumber(3) Proof ensureRight()

Implementation

@$pb.TagNumber(3)
Proof ensureRight() => $_ensure(2);