ksmt-core/io.ksmt.solver.util/KExprLongConverterBase/convertFromNative

convertFromNative

fun <S : KSort> convertFromNative(native: Long): KExpr<S>