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

transformAppAfterArgsTransformed

inline fun <T : KSort, A : KSort> transformAppAfterArgsTransformed(expr: KApp<T, A>, transformer: (List<KExpr<A>>) -> KExpr<T>): KExpr<T>

KApp non-recursive transformation helper.

See also