Expand description

Analysis which computes information needed in backends for monomorphization. This computes the distinct type instantiations in the model for structs and inlined functions.

Structs

The environment extension computed by this analysis.

Functions

Get the information computed by this analysis.