let
p_alpha_cv p =
Fol
.p_alpha_cv (
fun
_ ()
->
assert
false
) p