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