[][src]Constant guile_sys::__GNU_MP_VERSION_PATCHLEVEL

pub const __GNU_MP_VERSION_PATCHLEVEL: u32