Constant clingo_sys::clingo_symbol_type_e_clingo_symbol_type_supremum

source · 
pub const clingo_symbol_type_e_clingo_symbol_type_supremum: clingo_symbol_type_e = 7;
Expand description

!< the #sup symbol