ensureLessThan method

  1. @TagNumber(7)
Proof_LessThan ensureLessThan()

Implementation

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