Constant swipl::fli::PL_SHORT

source · 
pub const PL_SHORT: u32 = 20; // 20u32