Constant swipl::fli::PL_SHORT

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