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

convert

inline fun <T : KSort> convert(op: () -> KExpr<T>): ExprConversionResult

inline fun <S : KSort, A0 : KSort> T.convert(args: Array<T>, op: (KExpr<A0>) -> KExpr<S>): ExprConversionResult

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

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

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