Keep entries with given keys.
[k₀, v₀], [k₁, v₁], ... | kᵢ ∈ ks; [kᵢ, vᵢ] ∈ x
lists
keys
Generated using TypeDoc
Keep entries with given keys.
Returns
[k₀, v₀], [k₁, v₁], ... | kᵢ ∈ ks; [kᵢ, vᵢ] ∈ x