ensureLessThan method

@TagNumber(7) Proof_LessThan ensureLessThan()

Implementation

@$pb.TagNumber(7)
Proof_LessThan ensureLessThan() => $_ensure(6);