Type Definition snarkvm_console_types_integers::U16

pub type U16<E> = Integer<E, u16>;