[−][src]Constant clingo_sys::clingo_symbol_type_clingo_symbol_type_supremum
pub const clingo_symbol_type_clingo_symbol_type_supremum: clingo_symbol_type
the #sup symbol
pub const clingo_symbol_type_clingo_symbol_type_supremum: clingo_symbol_type
the #sup symbol