write type definition part