ksmt-core/io.ksmt.expr.transformer/KTransformer/transformApp

transformApp

open fun <T : KSort, A : KSort> transformApp(expr: KApp<T, A>): KExpr<T>