Type Alias ValidationMessageProvider<Specifics, T>

ValidationMessageProvider: (
actual: AnnotatedTypeAfterValidation,
expected: AnnotatedTypeAfterValidation,
) => RelaxedValidationProblem<Specifics, T>

Type Parameters

Specifics extends TypirSpecifics
T extends Specifics["LanguageType"] = Specifics["LanguageType"]

Type declaration

- (
  actual: AnnotatedTypeAfterValidation,
  expected: AnnotatedTypeAfterValidation,
  ): RelaxedValidationProblem<Specifics, T>
- Parameters
  - actual: AnnotatedTypeAfterValidation
  - expected: AnnotatedTypeAfterValidation
  Returns RelaxedValidationProblem<Specifics, T>