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

apply

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