let
pp_var_type fmt v = pure_type fmt (
Fol
.var_type v)