let
p_bool a =
Fol
.p_eq e_true a