EXTENSION¶ EXTENSION The cast is applied to the receiver of an extension function or property call. Properties¶ name¶ val name: String ordinal¶ val ordinal: Int jvm