Module elrond_wasm::non_zero_util

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.