Hi!

I'd like to pickup this issue for the outreachy internship. Any advice or recommendations anyone would like to share?

I guess I should ask @gasche for assistance, right?

I'm obviously rather new to OCaml, but I have worked with ASTs before. Do you think that this is something that can be done within the current timeframe? Or should I consider another issue?

I don't know what the timeframe is, but this seems doable in a short period of time.
Basically what you want to do is this:

• create typing/tast_iterator.ml[i], that is related to typing/tast_mapper.ml[i] in the same way parsing/ast_iterator.ml[i] is related to parsing/ast_mapper.ml[i].
  (I suggest you diff parsing/ast_mapper.mli with parsing/ast_iterator.mli and typing/tast_mapper.mli)
• git rm typing/typedtreeIter.ml typing/typedtreeIter.mli
• replace the uses (I think there's only one) of TypedtreeIter that don't compile anymore, with uses of your new Tast_iterator