Module Fol_why


module Fol_why: sig .. end

type pred = unit Fol.d_pred 
val export_tau : Format.formatter -> Formula.tau -> unit
val export_data : 'a -> 'b -> unit
val export_term : Format.formatter -> 'a Fol.d_term -> unit
val pp_pred_atom : 'a Fol.d_pred Fol_pretty.pp
val export_pred : Format.formatter -> 'a Fol.d_pred -> unit
val export_item : Format.formatter -> string -> 'a Fol.d_pred Formula.item -> unit
val export_decl : Format.formatter -> 'a Fol.d_pred Formula.declaration -> unit
val export_goal : Format.formatter -> string -> 'a Fol.d_pred -> unit