Constant swipl_fli::__TIMESIZE

source · 
pub const __TIMESIZE: u32 = 64;