let fpp_lf_let pp_tau pp_term fmt = function
  | [] -> ()
  | x::xs ->
      let pp = fpp_f_let pp_tau pp_term in
      pp fmt x ;
      List.iter (fun x -> fprintf fmt "%a@\n" pp x ) xs