Module walk 

An iterator over the type substructure. WARNING: this does not keep track of the region depth.

Structs

TypeWalker

An iterator for walking the type tree.