INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |
-- Is there no current item?
-- Is there no valid position to the left of current one?
-- Move to previous position.
-- Move to first position (at or after current
-- position) where `item' and `v' are equal.
-- If structure does not include `v' ensure that
-- `exhausted' will be true.
-- (Reference or object equality,
-- based on `object_comparison'.)
INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |