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