This is Kotlin docs about cast and type checks https://kotlinlang.org/docs/reference/typecasts.html But they do not explain basics about OOP, just syntax of operators