Function checkTypes

checkTypes<Specifics extends TypirSpecifics>(
    left: TypeToCheck<Specifics>,
    right: TypeToCheck<Specifics>,
    relationToCheck: (l: Type, r: Type) => undefined | TypirProblem,
    checkNamesOfNameTypePairs: boolean,
): IndexedTypeConflict[]
Type Parameters
- Specifics extends TypirSpecifics
Parameters
- left: TypeToCheck<Specifics>
- right: TypeToCheck<Specifics>
- relationToCheck: (l: Type, r: Type) => undefined | TypirProblem
- checkNamesOfNameTypePairs: boolean
Returns IndexedTypeConflict[]
- Defined in utils/utils-type-comparison.ts:96