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. ! ! @param[in] a first symbol ! @param[in] b second symbol ! @return whether a < b