let
pp_tau =
Fol_decl
.
Tau
.pp_tau