<> <> <> <<>> DIRECTORY Rope; <<>> Lists: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; ReverseList: PROC [list: LIST OF ROPE] RETURNS [new: LIST OF ROPE]; ReverseLIST: PROC [list: LIST OF REF] RETURNS [new: LIST OF REF]; ListLength: PROC [list: LIST OF ROPE] RETURNS [size: INT]; LISTLength: PROC [list: LIST OF REF] RETURNS [size: INT]; ListIndexItem: PROC [list: LIST OF ROPE, index: INT] RETURNS [item: ROPE]; LISTIndexItem: PROC [list: LIST OF REF, index: INT] RETURNS [item: REF]; ListItemIndex: PROC [list: LIST OF ROPE, item: ROPE] RETURNS [index: INT]; ListItemIndexMin:PROC [list: LIST OF ROPE, item: ROPE] RETURNS [index: INT]; ListItemIndexMax:PROC [list: LIST OF ROPE, item: ROPE] RETURNS [index: INT]; ListNonNILIndexMin: PROC [list: LIST OF ROPE] RETURNS [index: INT]; ListNonNILIndexMax: PROC [list: LIST OF ROPE] RETURNS [index: INT]; ListAllNil: PROC [list: LIST OF ROPE] RETURNS [allNIL: BOOL]; ListConcat: PROC [list1, list2: LIST OF ROPE] RETURNS [new: LIST OF ROPE]; END.