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