sig
  type t
  val print : TermInner.PRINT.t TermInner.printer
  val print' : TermInner.prec -> TermInner.PRINT.t TermInner.printer
  val print_in_app : TermInner.PRINT.t TermInner.printer
  val print_in_binder : TermInner.PRINT.t TermInner.printer
  val to_string : TermInner.PRINT.t -> string
  val to_sexp : TermInner.PRINT.t -> Sexp_lib.t
end