Function clingo_sys::clingo_symbolic_atoms_iterator_is_equal_to

pub unsafe extern "C" fn clingo_symbolic_atoms_iterator_is_equal_to(
    atoms: *mut 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).

Parameters:

• atoms the target
• a the first iterator
• b the second iterator
• equal whether the two iterators are equal

Returns whether the call was successful