Copyright (C) 1994, Digital Equipment Corp.
M3PathElemList is an instantiation of the List interface
with an M3PathElem.T. It provides the abstraction of a
{\it search path} as a list of directories.
INTERFACEM3PathElemList = List(M3PathElem) END M3PathElemList.