let
p_bool a =
Fol
.p_eq
Langage
.e_true a