ensureLeft method

@TagNumber(1) Proposition ensureLeft()

Implementation

@$pb.TagNumber(1)
Proposition ensureLeft() => $_ensure(0);