multiversx_sc

Module non_zero_util

Source

Structs§

NonZeroUsizeIterator
Iterator that can give us a range of NonZeroUsize.

Functions§

non_zero_usize_from_n_plus_1
This is safe because adding 1 to a positive number makes it greater than one.
non_zero_usize_one
This is safe because 1 != 0.
non_zero_usize_plus
This is safe because adding a non-zero number with a positive one yields a non-zero number.