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