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