def Type