Get first entry from lists (default order).
[k₀, v₀] if x ≠ Φ else ed | [k₀, v₀] ∈ x
lists
default entry
Generated using TypeDoc
Get first entry from lists (default order).
Returns
[k₀, v₀] if x ≠ Φ else ed | [k₀, v₀] ∈ x