Type Definition snarkvm_console_types_integers::U64

pub type U64<E> = Integer<E, u64>;