let pp_term = T.pp_term