Для чего полезны AnyVal.types?

Я случайно написал эту строку кода:

scala> val f = Int
f: Int.type = object scala.Int

Кажется, работает для каждого подтипа AnyVal , кроме AnyVal .

Есть ли что-нибудь, для чего я могу использовать f , или это просто деталь реализации утечки Scala?

Я пытаюсь написать простейшую функцию: отправить запрос в браузер w3m, а затем найти определенное место на веб-странице:

(defun w3m-define-word (word)
  (interactive "sDefine: ")
  (progn (w3m-search "Dictionary" word)
         (set-window-start nil (search-forward "Search Results"))))

Что не так, так это то, что w3m-search не ждет, пока страница перезагрузится, и set-window-start будет выполняться на старой странице. Затем страница перезагружается и помещает курсор в начало буфера.

(sleep-for..) между w3m-search и set-window-start помогает, но так как время загрузки произвольное, это не очень удобно.

Как можно переписать эту функцию, чтобы она ждала перезагрузки буфера и только затем выполняла остальные?