Function createTypeCheckStrategy

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