Module type TermInner.PRINT

module type PRINT = sig .. end

type t 

val print : t TermInner.printer

val print' : TermInner.prec -> t TermInner.printer

val print_in_app : t TermInner.printer

val print_in_binder : t TermInner.printer

val to_string : t -> string

val to_sexp : t -> Sexp_lib.t