phino-0.0.152: test-resources/rewriter-packs/normalize/e-ov2.yaml
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- normalize: true input: | ⟦ x ↦ ∅, y ↦ ∅ ⟧( α0 ↦ ⟦⟧ )( α0 ↦ ⟦⟧ ) output: |- ⊥
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- normalize: true input: | ⟦ x ↦ ∅, y ↦ ∅ ⟧( α0 ↦ ⟦⟧ )( α0 ↦ ⟦⟧ ) output: |- ⊥