typecheck

动词verb

1. 1(computing, transitive) To verify whether a given value belongs to a certain data type.