Documentation on Enodes, Snodes?

[Mike Whalen]

Hello,

Is there documentation on how Enodes and Snodes are structured to
make expressions and types? I seem to have an o.k. handle on Enodes,
but the organization of Snodes is confusing to me. What I'm looking
for is something that describes the Snode tree structure for various
types, esp. function types.

Thanks in advance,

Mike