Functor Fol_pretty.Create


module Create: 
functor (T : sig
type d 
val pp_term : Format.formatter -> d Fol.d_term -> unit
end) -> sig .. end
Parameters:
T : sig type d val pp_term : formatter -> d d_term -> unit end

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