jmlparser-symbol-solver-core/com.github.javaparser.symbolsolver.resolution.typeinference/InferenceVariableSubstitution

InferenceVariableSubstitution

open class InferenceVariableSubstitution(source)

Author

Federico Tomassetti

Functions

open fun empty(): InferenceVariableSubstitution

open fun withPair(inferenceVariable: InferenceVariable, type: ResolvedType): InferenceVariableSubstitution