Constant swipl::fli::__TIMESIZE

source · 
pub const __TIMESIZE: u32 = 64; // 64u32