[−][src]Constant antic::FLINT_FACTOR_ONE_LINE_ITERS

pub const FLINT_FACTOR_ONE_LINE_ITERS: u32 = 40000;