method
pp_tau_set fmt te =
Format
.fprintf fmt
"{%a..}"
self
#
pp_tau te