INTERFACE FileDir;

IMPORT Node;

TYPE
  T <: Tx;  Tx = Node.Named_T OBJECT
    path : TEXT;
  END;

END FileDir.