phino-0.0.152: test-resources/cli/rules/swap-b.yaml
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- name: swap-b pattern: ⟦ x -> !e1 ⟧ result: Q.b(!e1)
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- name: swap-b pattern: ⟦ x -> !e1 ⟧ result: Q.b(!e1)