[−][src]Constant antic::FLINT_PRIMES_TAB_DEFAULT_CUTOFF

pub const FLINT_PRIMES_TAB_DEFAULT_CUTOFF: u32 = 1000000;