Append entries from all lists, preferring last.
x₀ ∪ x₁ ∪ ... | [x₀, x₁, ...] = xs
Rest
all lists
Generated using TypeDoc
Append entries from all lists, preferring last.
Returns
x₀ ∪ x₁ ∪ ... | [x₀, x₁, ...] = xs