ref: 600bbfe4aaa9ad0f73d8d73eef1b7670e5f7d3a3
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; };