ksmt-core/io.ksmt.solver.util/ExprConversionResult/ExprConversionResult

ExprConversionResult

fun ExprConversionResult(expr: KExpr<*>?)