type-definition