let
pred_eq e1 e2 =
Fol
.
Papp
(
"eq"
, [e1; e2])