keeps-the-order-of-the-right-side-voids.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
left: '[[ f -> [[ x -> ? ]] ]]'
right: '[[ f -> [[ x -> ?, y -> ?, @ -> $.x ]] ]]'
result: '⟦ f ↦ ⟦ x ↦ ∅, y ↦ ∅, φ ↦ ξ.x ⟧ ⟧'