org.jetbrains.jet.lang.types

Interfaces  JetType LazyType TypeConstructor TypeProjection TypeSubstitution TypeUnifier.UnificationResult

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

Enums  Variance