let pp_tau = pretty#pp_tau