org.jetbrains.jet.lang.types.checker

Interfaces  JetTypeChecker.TypeConstructorEquality TypingConstraints

Classes  JetTypeChecker TypeCheckingProcedure

Enums  TypeCheckingProcedure.EnrichedProjectionKind