[][src]Constant antic::__GNU_MP__

pub const __GNU_MP__: u32 = 6;