<> <> <> <> <<>> DIRECTORY Basics USING [Comparison]; GList: CEDAR DEFINITIONS = BEGIN <<>> <> <> <> List: TYPE = REF ANY; <> Comparison: TYPE = Basics.Comparison; CompareProc: TYPE = PROC [ref1: REF ANY, ref2: REF ANY] RETURNS [Comparison]; <> EqLists: PROC [l1, l2: List] RETURNS [BOOL]; <> <<>> Member: PROC [ref: REF ANY, list: List] RETURNS [BOOL]; <> <> Append: PROC [l1: List, l2: List _ NIL] RETURNS [List]; <> <<>> Copy: PROC [list: List] RETURNS [List]; <> <<>> Reverse: PROC [list: List] RETURNS [List]; <> << >> Remove: PROC [ref: REF ANY, list: List] RETURNS [List]; <> <<>> Union: PROC [l1, l2: List] RETURNS [List]; <> <<>> Intersection: PROC [l1, l2: List] RETURNS [List]; <> <<>> ListDifference: PROC [l1, l2: List] RETURNS [List]; <> <> Nconc: PROC [l1, l2: List] RETURNS [List]; <> <<>> DReverse: PROC [list: List] RETURNS [List]; <> DRemove: PROC [ref: REF ANY, list: List] RETURNS [List]; <> <<>> DSubst: PROC [new, old: REF ANY, list: List] RETURNS [List]; <> <> NthTail: PROC [list: List, n: INT] RETURNS [List]; <> < Length[list].>> <<>> NthElement: PROC [list: List, n: INT] RETURNS [REF ANY]; <> <> <> <> Length: PROC [list: List] RETURNS [INT]; <> Subst: PROC [new, old: REF ANY, list: List] RETURNS [List]; <> <> < RETURN [NIL];>> < RETURN [CONS[new, Subst[new, old, expr.rest]]];>> < RETURN [CONS[expr.first, Subst[new, old, expr.rest]]];>> <<>> Kill: PROC [list: List]; <> <> Sort: PROC [list: List, compareProc: CompareProc] RETURNS [List]; <<... destructively sorts the given list in increasing order according to compareProc. The sort is not stable, so order of equal elements is not preserved.>> UniqueSort: PROC [list: List, compareProc: CompareProc] RETURNS [List]; <<... is like Sort, but removes duplicates in a separate pass over the sorted list>> Merge: PROC [x, y: List, compareProc: CompareProc] RETURNS [List]; <<... destructively merges two lists according to compareProc. If the input lists are sorted in increasing order, then the output list will be sorted in increasing order.>> <> IncompatibleType: ERROR [ref: REF ANY]; <> <<>> NotAListType: ERROR; <>> END.