org.jetbrains.jet.lang.types.checker

Interfaces  TypingConstraints

Classes  JetTypeChecker TypeCheckingProcedure

Enums  TypeCheckingProcedure.EnrichedProjectionKind