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

convert

inline fun <T : KSort> convert(op: () -> KExpr<T>): ExprConversionResult
inline fun <S : KSort, A0 : KSort> Long.convert(args: LongArray, op: (KExpr<A0>) -> KExpr<S>): ExprConversionResult
inline fun <S : KSort, A0 : KSort, A1 : KSort> Long.convert(args: LongArray, op: (KExpr<A0>, KExpr<A1>) -> KExpr<S>): ExprConversionResult
inline fun <S : KSort, A0 : KSort, A1 : KSort, A2 : KSort> Long.convert(args: LongArray, op: (KExpr<A0>, KExpr<A1>, KExpr<A2>) -> KExpr<S>): ExprConversionResult
inline fun <S : KSort, A0 : KSort, A1 : KSort, A2 : KSort, A3 : KSort> Long.convert(args: LongArray, op: (KExpr<A0>, KExpr<A1>, KExpr<A2>, KExpr<A3>) -> KExpr<S>): ExprConversionResult