ksmt-core/io.ksmt.utils/uncheckedCast

uncheckedCast

inline fun <Base, T> Base.uncheckedCast(): T