functor
  (T : sig
         type d
         val pp_term : Format.formatter -> Fol_pretty.d Fol.d_term -> unit
       end->
  sig
    val pp_tau : Format.formatter -> Formula.tau -> unit
    val pp_term : Format.formatter -> T.d Fol.d_term -> unit
    val pp_pred_atom : T.d Fol.d_pred Fol_pretty.pp
    val pp_pred_vbox : Format.formatter -> T.d Fol.d_pred -> unit
    val pp_pred_debug : Format.formatter -> T.d Fol.d_term Fol.t_pred -> unit
    val pp_pred : Format.formatter -> T.d Fol.d_pred -> unit
    val pp_decl :
      Format.formatter -> T.d Fol.d_pred Formula.declaration -> unit
    val pp_goal : Format.formatter -> string -> T.d Fol.d_pred -> unit
  end