[][src]Constant antic::__FLINT_VERSION

pub const __FLINT_VERSION: u32 = 2;