type_definition(型定義)