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