Function clingo_sys::clingo_signature_is_positive

pub unsafe extern "C" fn clingo_signature_is_positive(
    signature: clingo_signature_t
) -> bool

Whether the signature is positive (is not classically negated).

@param[in] signature the target signature @return whether the signature has no sign