Type Definition halo2_base::safe_types::SafeUint64

source · [−]
pub type SafeUint64<F> = SafeType<F, { _ }, TOTAL_BITS>;
Expand description

SafeType for uint64.