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