Discard entries which pass a test.
[k₀, v₀], [k₁, v₁], ... | ft(vᵢ) = false; [kᵢ, vᵢ] ∈ x
lists
test function (v, k, x)
Generated using TypeDoc
Discard entries which pass a test.
Returns
[k₀, v₀], [k₁, v₁], ... | ft(vᵢ) = false; [kᵢ, vᵢ] ∈ x