ksmt-core/io.ksmt.utils/cast

cast

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