Module move_stackless_bytecode::mono_analysis

source · [−]
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. 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.