greaterThan property

@TagNumber(8) Proof_GreaterThan get greaterThan

Implementation

@$pb.TagNumber(8)
Proof_GreaterThan get greaterThan => $_getN(7);

@TagNumber(8) set greaterThan (Proof_GreaterThan v)

Implementation

@$pb.TagNumber(8)
set greaterThan(Proof_GreaterThan v) { setField(8, v); }