This is a stub types definition for @types/ajv (https://ajv.js.org).

ajv provides its own type definitions, so you don't need @types/ajv installed!