Type Definition snarkvm_console_program::U64

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