TO_DENOTABLE_SUBTYPE¶ TO_DENOTABLE_SUBTYPE Every type is approximated to its closest denotable subtype, which is correct for input positions, such as parameter types. Properties¶ name¶ val name: String ordinal¶ val ordinal: Int jvm