ensureGreaterThan method

@TagNumber(8) Proposition_GreaterThan ensureGreaterThan()

Implementation

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