Keep values at given indices.
an array
indices
v₀, v₁, ... | vᵢ = x[i]; i ∈ is
Generated using TypeDoc
Keep values at given indices.