Up
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
.