Function createTypeCheckStrategy

createTypeCheckStrategy<Specifics extends TypirSpecifics>(
strategy: TypeCheckStrategy,
typir: TypirServices<Specifics>,
): (t1: Type, t2: Type) => undefined | TypirProblem
Type Parameters
- Specifics extends TypirSpecifics
Parameters
- strategy: TypeCheckStrategy
- typir: TypirServices<Specifics>
Returns (t1: Type, t2: Type) => undefined | TypirProblem
- Defined in utils/utils-type-comparison.ts:19