Type Definition snarkvm_circuit_types::prelude::count::Public

pub type Public = Measurement<u64>;