Skip to main content

__FLINT_VERSION_PATCHLEVEL

Constant __FLINT_VERSION_PATCHLEVEL 

Source
pub const __FLINT_VERSION_PATCHLEVEL: u32 = 0;