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