let pp_args tau_of_ctype_logic fmt = function
| [] -> ()
| [x] -> Format.fprintf fmt "(%a@,:@,%a)@,:%a@,=@,"
pp_var x (export_tau tau_of_ctype_logic) (Fol.Var.var_type x)
(export_tau tau_of_ctype_logic) (Fol.Var.var_type x)
| x::m ->
Format.fprintf fmt "(%a@,:@,%a@,"
pp_var x (export_tau tau_of_ctype_logic) (Fol.Var.var_type x);
List.iter (fun x -> Format.fprintf fmt ",@,%a@,:@,%a@,"
pp_var x (export_tau tau_of_ctype_logic) (Fol.Var.var_type x) ) m;
Format.fprintf fmt ")@,:%a@,=@\n" (export_tau tau_of_ctype_logic) (Fol.Var.var_type x)