Constant antic::FLINT_KNOW_STRONG_ORDER

pub const FLINT_KNOW_STRONG_ORDER: u32 = 0;