Type Definition snarkvm_circuit_types_integers::U64

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