Hello
I am trying to use TreeMap to alter the code of some term. This is how it seems I should start:
val trafo = new TreeMap {
override def transformTerm(tree: Term)(implicit ctx: Context): Term = ???
}
Unfortunately, the type Context cannot be found, and no matter where I search, I do not find the guy. Can somebody please help? Thanks!
StephM