[][src]Constant antic::FLINT_MAX_FACTORS_IN_LIMB

pub const FLINT_MAX_FACTORS_IN_LIMB: u32 = 15;