Module type Sek.CHECK_ITERATOR_VALIDITY

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.