| _ as t -> string_of_term_w_pars level t\r
and string_of_term_no_pars level = function\r
| L(t,g) -> "λ" ^ string_of_bvar level ^ ". " ^ string_of_term_no_pars (level+1) t\r
| _ as t -> string_of_term_w_pars level t\r
and string_of_term_no_pars level = function\r
| L(t,g) -> "λ" ^ string_of_bvar level ^ ". " ^ string_of_term_no_pars (level+1) t\r