Type Definition snarkvm_console_types_integers::U32

pub type U32<E> = Integer<E, u32>;