def type