* `index_valid()` * `index_pull()` * `new_interval()` and `gcd_interval()` * `seq()` and `+` for `new_data()` and `*_gaps()`
index_valid()index_pull()new_interval()andgcd_interval()seq()and+fornew_data()and*_gaps()