Type Alias TypeToCheck

TypeToCheck: Type | NameTypePair | undefined | InferenceProblem[]