ksmt-core/io.ksmt.expr.transformer/KNonRecursiveTransformerBase/apply

apply

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

Transform expr and all it sub-expressions non-recursively.