ensureHeightRange method

@TagNumber(4) Proof_HeightRange ensureHeightRange()

Implementation

@$pb.TagNumber(4)
Proof_HeightRange ensureHeightRange() => $_ensure(3);