Function clingo_sys::clingo_symbolic_atoms_iterator_is_equal_to

pub unsafe extern "C" fn clingo_symbolic_atoms_iterator_is_equal_to(
    atoms: *const clingo_symbolic_atoms_t, 
    a: clingo_symbolic_atom_iterator_t, 
    b: clingo_symbolic_atom_iterator_t, 
    equal: *mut bool
) -> bool

Check if two iterators point to the same element (or end of the sequence).

@param[in] atoms the target @param[in] a the first iterator @param[in] b the second iterator @param[out] equal whether the two iterators are equal @return whether the call was successful