Module Formula.Printing

Basic printing of formulas

val p_blterm : Format.formatter -> bl_term -> unit
val p_bvterm : Format.formatter -> bv_term -> unit
val p_axterm : Format.formatter -> ax_term -> unit
val p_term : Format.formatter -> term -> unit
val p_entry : Format.formatter -> entry -> unit
val p_formula : Format.formatter -> formula -> unit