Question on tree-walking and mutually-recursive types

[Richard Kenner]

    Well yes in the case if every node only has one edge (eg. only structs
    with one pointer).

That's what we're talking about: a pointer to a pointer.