val pp_term: Ast.term -> string