WhyNot

WhyNot proudly introduces typesets -- serialisable, canonical types for the subset of go/types pertinent to memory analysis. (We don't need to do type checking, for example).

Embedding types in the existing memory model generation and indexing is still TBD.

This is v0.0.X -- explore at your own risk.