ensureGreaterThan method

@TagNumber(8) Proof_GreaterThan ensureGreaterThan()

Implementation

@$pb.TagNumber(8)
Proof_GreaterThan ensureGreaterThan() => $_ensure(7);