# type 검증 처리