phino-0.0.152: test-resources/merge-packs/unites-disjoint-bindings.yaml
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- left: '[[ x -> 1 ]]' right: '[[ y -> 2 ]]' result: '⟦ x ↦ 1, y ↦ 2 ⟧'
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- left: '[[ x -> 1 ]]' right: '[[ y -> 2 ]]' result: '⟦ x ↦ 1, y ↦ 2 ⟧'