Verb
typecheck (third-person singular simple present typechecks, present participle typechecking, simple past and past participle typechecked) (computing) To verify whether a given value belongs to a certain data type.