substitute

fun <T : KSort> substitute(from: KExpr<T>, to: KExpr<T>)

Substitute every occurrence of from in expression expr with to.


fun <T : KSort> substitute(from: KDecl<T>, to: KDecl<T>)

Substitute every occurrence of declaration from in expression expr with to.