conversionLoop

inline fun <S : KSort, T, Stack> conversionLoop(stack: Stack, native: T, stackPush: (Stack, T) -> Unit, stackPop: (Stack) -> T, stackIsNotEmpty: (Stack) -> Boolean, convertNative: (T) -> ExprConversionResult, findConverted: (T) -> KExpr<*>?, saveConverted: (T, KExpr<*>) -> Unit): KExpr<S>