sig
  type 'a printer = Format.formatter -> 'a -> unit
  exception Error of string
  type term = Nunchaku_core.TermInner.Default.t
  type form = TPTP_print.term
  type ty = TPTP_print.term
  type model = (TPTP_print.term, TPTP_print.ty) Nunchaku_core.Model.t
  val print_term : TPTP_print.term TPTP_print.printer
  val print_form : TPTP_print.form TPTP_print.printer
  val print_model : TPTP_print.model TPTP_print.printer
end