Function clingo_sys::clingo_symbol_is_less_than

pub unsafe extern "C" fn clingo_symbol_is_less_than(
    a: clingo_symbol_t, 
    b: clingo_symbol_t
) -> bool

Check if a symbol is less than another symbol.

Symbols are first compared by type. If the types are equal, the values are compared (where strings are compared using strcmp). Functions are first compared by signature and then lexicographically by arguments.

Parameters:

• a first symbol
• b second symbol

Returns whether a < b