class Savi::Compiler::PreSubtyping::Analyst

• Savi::Compiler::PreSubtyping::Analyst
• Reference
• Object

Defined in:

savi/compiler/pre_subtyping.cr

Constructors

• .new(analysis : Savi::Compiler::PreSubtyping::Analysis, inventory : Savi::Compiler::Inventory::TypeAnalysis)

Instance Method Summary

• #analysis : Analysis
• #inventory : Inventory::TypeAnalysis
• #run(ctx, t : Program::TypeAlias, t_link : Program::TypeAlias::Link)
• #run(t_link, all_types)

Constructor Detail

Instance Method Detail