Constant swipl::fli::PL_WRT_VARNAMES

source ·
pub const PL_WRT_VARNAMES: u32 = 16384; // 16_384u32