Find values passing a test.
v₀, v₁, ... | ft(vᵢ) = true; [kᵢ, vᵢ] ∈ x
lists
test function (v, k, x)
Generated using TypeDoc
Find values passing a test.
Returns
v₀, v₁, ... | ft(vᵢ) = true; [kᵢ, vᵢ] ∈ x