let fpp_f_let pp_tau pp_term fmt fl = Format.fprintf fmt "@[<hov 2>Definition %s@,%a%a@]" fl.name (pp_args pp_tau) fl.param pp_term fl.body