ref: acc58dfee42368825f7595d63240fd6e88559776
dir: /module/arrays.m/
Arrays: module { PATH: con "/dis/lib/arrays.dis"; find: fn[T](a: array of T, x: T): array of T for { T => Equals: fn(a, b: T): int; }; append: fn[T](a₀: array of T, x: T): array of T; prepend: fn[T](a₀: array of T, x: T): array of T; tail: fn[T](a: array of T): array of T; pair: fn[T₁, T₂](a₁: array of T₁, a₂: array of T₂): array of (T₁, T₂); # Return a pretty string representing the array stringify: fn[T](a: array of T): string for { T => String: fn(a: self T): string; }; filter: fn[T](a: array of T, p: ref fn(x: T): int): array of T; map: fn[T](a₀: array of T, f: ref fn(x: T): T): array of T; };