phino-0.0.152: test-resources/condition-packs/nf-on-dot.yaml
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- expression: '⟦ x ↦ ξ.t, t ↦ ∅ ⟧.x' pattern: '[[ x -> !e1, !B1 ]].x' condition: nf: '!e1'
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- expression: '⟦ x ↦ ξ.t, t ↦ ∅ ⟧.x' pattern: '[[ x -> !e1, !B1 ]].x' condition: nf: '!e1'