let
neq_field f1name f2name =
Fol
.
Papp
(
"neq_field"
, [
Fol
.
Tapp
(f1name, []);
Fol
.
Tapp
(f2name, [])])