Sek.CHECK_ITERATOR_VALIDITY
val check_iterator_validity : bool
The flag check_iterator_validity determines whether runtime checks should be enabled so that an attempt to use an invalidated iterator is detected and gives rise to an Invalid_argument exception.
check_iterator_validity
Invalid_argument