InferenceVariableType

constructor(id: Int, typeSolver: TypeSolver)(source)