[][src]Constant antic::FLINT_FMPZ_LOG_MULTI_MOD_CUTOFF

pub const FLINT_FMPZ_LOG_MULTI_MOD_CUTOFF: u32 = 2;