<> <> <> <<>> <<>> DIRECTORY Mint; MintList: CEDAR DEFINITIONS ~ BEGIN IsNodeInList: PROC [node: Mint.Node, nodeList: Mint.NodeList] RETURNS [found: BOOLEAN _ FALSE]; AppendNodeLists: PROC [top, bottom: Mint.NodeList] RETURNS [nodeList: Mint.NodeList _ NIL]; AppendFetLists: PROC [top, bottom: Mint.FetList] RETURNS [fetList: Mint.FetList _ NIL]; END.