ref: 5edeca01b0622463a65c126ebcc29314013fd928
dir: /module/lists.m/
Lists: module
{
PATH: con "/dis/lib/lists.dis";
map: fn[T](f: ref fn(x: T): T, l: list of T): list of T;
allsat: fn[T](p: ref fn(x: T): int, l: list of T): int;
anysat: fn[T](p: ref fn(x: T): int, l: list of T): int;
filter: fn[T](p: ref fn(x: T): int, l: list of T): list of T;
partition: fn[T](p: ref fn(x: T): int, l: list of T): (list of T, list of T);
append: fn[T](l: list of T, x: T): list of T;
concat: fn[T](l: list of T, l2: list of T): list of T;
combine: fn[T](l: list of T, l2: list of T): list of T;
reverse: fn[T](l: list of T): list of T;
last: fn[T](l: list of T): T;
find: fn[T](x: T, l: list of T): list of T
for { T => eq: fn(a, b: T): int; };
delete: fn[T](x: T, l: list of T): list of T
for { T => eq: fn(a, b: T): int; };
pair: fn[T1, T2](l1: list of T1, l2: list of T2): list of (T1, T2);
unpair: fn[T1, T2](l: list of (T1, T2)): (list of T1, list of T2);
ismember: fn[T](x: T, l: list of T): int
for { T => eq: fn(a, b: T): int; };
};
#sort?
#join
#split