Function clingo_sys::clingo_symbol_create_supremum
[−]
[src]
pub unsafe extern "C" fn clingo_symbol_create_supremum(
symbol: *mut clingo_symbol_t
)
Construct a symbol representing #sup.
symbol
the resulting symbol