let pp_vkind fmt = function | Mdata.Vmodel t -> Tau.pp_tau fmt t | Mdata.Vacsl ty -> !Ast_printer.d_logic_type fmt ty