[][src]Constant antic::FLINT_SIEVE_SIZE

pub const FLINT_SIEVE_SIZE: u32 = 65536;