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