and string_of_term_no_pars lev l = function
| `Lam _ as t -> string_of_term_no_pars_lam lev l t
| #nf as t -> string_of_term_no_pars_app lev l t
and string_of_term_no_pars lev l = function
| `Lam _ as t -> string_of_term_no_pars_lam lev l t
| #nf as t -> string_of_term_no_pars_app lev l t