org.jetbrains.kotlin.types

Interfaces  TypeConstructor TypeProjection TypeUnifier.UnificationResult

Classes  AbstractClassTypeConstructor BoundsSubstitutor ClassTypeConstructorImpl CommonSupertypes DeferredType DescriptorSubstitutor ErrorUtils ErrorUtils.ErrorScope ErrorUtils.UninferredParameterTypeConstructor IntersectionTypeConstructor SubstitutionUtils TypeIntersector TypeProjectionBase TypeProjectionImpl TypeReconstructionResult TypeSubstitutor TypeUnifier TypeUtils TypeUtils.SpecialType