<<>> <> <> <> <> <> <> <.>> DIRECTORY UnixTypes ; UnixStat: CEDAR DEFINITIONS ~ { Dev: TYPE ~ UnixTypes.Dev; Flag: TYPE ~ UnixTypes.Flag; Ino: TYPE ~ UnixTypes.INum; Time: TYPE ~ UnixTypes.Time; UID: TYPE ~ UnixTypes.UID; GID: TYPE ~ UnixTypes.GID; }.