let
p_cond b pt pf =
Fol
.p_if (
Langage
.wrap b) pt pf