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