Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.jetbrains.kotlin.types
Interface TypeUnifier.UnificationResult

Enclosing class:
TypeUnifier
public static interface TypeUnifier.UnificationResult

Method Summary
 java.util.Map<TypeConstructor,TypeProjection> getSubstitution()
           
 boolean isSuccess()
           
 

Method Detail

isSuccess

boolean isSuccess()

getSubstitution

@NotNull
java.util.Map<TypeConstructor,TypeProjection> getSubstitution()
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD