let
fpred_of_pred (p :
F
.pred) : unit
Fol
.d_pred =
Fol
.translate_data_in_pred uterm_of_data p