Function clingo_sys::clingo_signature_is_less_than
[−]
[src]
pub unsafe extern "C" fn clingo_signature_is_less_than(
a: clingo_signature_t,
b: clingo_signature_t
) -> bool
Check if a signature is less than another signature.
Signatures are compared first by sign (unsigned < signed), then by arity, then by name.
Parameters:
a
- first signatureb
- second signature
Returns whether a < b