type函数