Functor TermInner.Print

module Print (T : REPR) : sig .. end

type t = T.t 

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

val print_in_app : T.t CCFormat.printer

val print_in_binder : CCFormat.t -> T.t -> unit

val print : CCFormat.t -> T.t -> unit

val to_string : T.t -> string

val to_sexp : T.t -> Sexp_lib.t