ksmt-core/io.ksmt.utils/getValue

getValue

inline operator fun <T : KSort> T.getValue(thisRef: Any?, property: KProperty<*>): KApp<T, *>