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.