checkTypes is a PHP function which checks the types of given arguments by reading the associated PHP doc.