[−][src]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. |