Module TermInner.Default.P

module P: TermInner.Print(sig

type t = TermInner.Default.t_ 


val repr : t -> t TermInner.view
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