English

edit

Verb

edit

type-checking

  1. present participle and gerund of type-check