Package org.jetbrains.jet.lang.types.checker

Interface Summary

Interface	Description
TypingConstraints	Methods of this class return true to continue type checking and false to fail

Class Summary

Class	Description
JetTypeChecker
TypeCheckingProcedure

Enum Summary

Enum	Description
TypeCheckingProcedure.EnrichedProjectionKind