phino-0.0.152: test-resources/condition-packs/disjoint-unbound-meta.yaml
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
expression: '[[ x -> [[ ]] ]]'
pattern: '[[ x -> !e1 ]]'
condition:
not:
disjoint:
- [Δ, λ]
- ['𝐵unbound']