Constant antic::__FLINT_VERSION_PATCHLEVEL

pub const __FLINT_VERSION_PATCHLEVEL: u32 = 0;