let
skip_while pred = skip_whilei (
fun
_ a
->
pred a)