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.UninferredParameterTypeConstructor IntersectionTypeConstructor JetTypeImpl JetTypeInfo SubstitutionUtils TypeConstructorImpl TypeProjectionBase TypeProjectionImpl TypeReconstructionResult TypeSubstitutor TypeSubstitutor.MapToTypeSubstitutionAdapter TypeUnifier TypeUtils TypeUtils.SpecialType

Enums  Variance