Module TPTP_print

module TPTP_print: sig .. end

type 'a printer = Format.formatter -> 'a -> unit 

exception Error of string

type term = Nunchaku_core.TermInner.Default.t 

type form = term 

type ty = term 

type model = (term, ty) Nunchaku_core.Model.t 

val print_term : term printer

val print_form : form printer

val print_model : model printer