method
pp_pred_not fmt p =
Format
.fprintf fmt
"not %a"
self
#
pp_pred_atom p