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