let
fdecl_of_decl =
Fol
.translate_pred_in_decl fpred_of_pred