abstract class OccTyping::Term

• OccTyping::Term
• Reference
• Object

Direct Known Subclasses

• OccTyping::TermApply
• OccTyping::TermIfIsThenElse
• OccTyping::TermLambda
• OccTyping::TermVar

Defined in:

occ_typing/term.cr

Class Method Summary

• .[](*args)

  Convenience method for more succinct instantiation in tests.

Class Method Detail