As per this code the function is missing. I’ve done nothing but following along with the tutorial found here!
Just noting here that the same issue was also brought up in vok-helloworld-app: navigateToView missing · Issue #102 · mvysny/vaadin-on-kotlin · GitHub with more discussion.