Type::Attr def