method vterm t = match t.term_node with | Ttype ty -> ChangeTo ({ t with term_node = Ttype(TPtr(ty,[])) }) | _ -> DoChildren