Index of exceptions

S
Skip [Mikmatch.Text]

This exception can be used to skip an element of a list being processed with rev_map, map, fold_left, and fold_right.