Module bytecode::mono_analysis

Analysis which computes information needed in backends for monomorphization. This computes the distinct type instantiations in the model for structs and inlined functions. It also eliminates type quantification (forall coin_type: type:: P).

Structs

• MonoAnalysisProcessor
• MonoInfo
  The environment extension computed by this analysis.

Functions

• get_info
  Get the information computed by this analysis.