[−][src]Constant antic::flint_err_t_FLINT_DIVZERO

pub const flint_err_t_FLINT_DIVZERO: flint_err_t = 3;