Keep values at given keys.
a map (updated)
keys
x = {[k₀, v₀], [k₁, v₁], ...} | kᵢ ∈ ks; [kᵢ, vᵢ] ∈ x
Generated using TypeDoc
Keep values at given keys.