ensureOr method

@TagNumber(13) Proof_Or ensureOr()

Implementation

@$pb.TagNumber(13)
Proof_Or ensureOr() => $_ensure(12);