type-checking

Short definition from Wiktionary

Verb

present participle and gerund of type-check

We haven’t written up type-checking yet: Simple and Standard meanings, examples and a quiz.