Constant swipl_fli::PL_WRT_VARNAMES

source · 
pub const PL_WRT_VARNAMES: u32 = 16384;