let pp_param tau_of_ctype_logic fmt x = Format.fprintf fmt "%a:%a" pp_var x (export_tau tau_of_ctype_logic) (Fol.Var.var_type x)