Type Definition snarkvm_console_types_integers::U128

pub type U128<E> = Integer<E, u128>;