org.jetbrains.jet.lang.types.checker

Interfaces

• TypingConstraints

Classes

• JetTypeChecker
• TypeCheckingProcedure

Enums

• TypeCheckingProcedure.EnrichedProjectionKind