Type Definition snarkvm_circuit::integers::U64

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