lessThan property

@TagNumber(7) Proof_LessThan get lessThan

Implementation

@$pb.TagNumber(7)
Proof_LessThan get lessThan => $_getN(6);

@TagNumber(7) set lessThan (Proof_LessThan v)

Implementation

@$pb.TagNumber(7)
set lessThan(Proof_LessThan v) { setField(7, v); }