type-check

Verb

 * 1)  To perform typechecking.