deferred class TRAVERSABLE [E_]
All features