Verb
type-check (third-person singular simple present type-checks, present participle type-checking, simple past and past participle type-checked) (programming) To perform typechecking.