ksmt-core/io.ksmt.expr.rewrite.simplify/KExprSimplifier/transformValue

transformValue

open override fun <T : KSort> transformValue(expr: KInterpretedValue<T>): KExpr<T>