ensureLeft method

@TagNumber(2) Proof ensureLeft()

Implementation

@$pb.TagNumber(2)
Proof ensureLeft() => $_ensure(1);