Constant swipl::fli::__TIMESIZE

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