pub unsafe extern "C" fn clingo_signature_is_negative(
    signature: clingo_signature_t
) -> bool
Expand description

! Whether the signature is negative (is classically negated). ! ! @param[in] signature the target signature ! @return whether the signature has a sign