型函数