phino-0.0.152: test-resources/rewriter-packs/custom/part-of.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
repeat: 10
input: '[[ x -> Q.y ]]'
output: |-
  ⟦
    x ↦ Φ.y,
    z -> "foo"
  ⟧
rules:
  custom:
    - name: part-of
      pattern: '[[ x -> Q.y, !B1 ]]'
      result: '[[ x -> Q.y, z -> "foo", !B1]]'
      when:
        not:
          part-of: ['"foo"', '!B1']