ensureNot method

@TagNumber(11) Proof_Not ensureNot()

Implementation

@$pb.TagNumber(11)
Proof_Not ensureNot() => $_ensure(10);