class OccTyping::Typer

• OccTyping::Typer
• Reference
• Object

Defined in:

occ_typing/typer.cr

Constructors

• .new

Instance Method Summary

• #typeof(env : Env, term : Term) : Type

Constructor Detail

Instance Method Detail