org.jetbrains.jet.lang.types

Interfaces  DependencyClassByQualifiedNameResolver JetType LazyType TypeConstructor TypeProjection TypeSubstitution TypeUnifier.UnificationResult

Classes  AbstractClassTypeConstructor AbstractJetType BoundsSubstitutor CastDiagnosticsUtil CommonSupertypes CompositeTypeSubstitution DeferredType DelegatingType DependencyClassByQualifiedNameResolverDummyImpl DescriptorSubstitutor ErrorUtils ErrorUtils.ErrorScope ErrorUtils.UninferredParameterType IntersectionTypeConstructor JetTypeImpl JetTypeInfo PackageType SubstitutionUtils TypeConstructorImpl TypeProjectionBase TypeProjectionImpl TypeReconstructionResult TypeSubstitutor TypeSubstitutor.MapToTypeSubstitutionAdapter TypeUnifier TypeUtils TypeUtils.SpecialType

Enums  Variance