Type Definition snarkvm_console_algorithms::U64

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