phino-0.0.152: test-resources/rewriter-packs/custom/same-exprs-in-formation.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
input: '[[ x -> Q, ^ -> Q ]]'
output: |-
  [[ x -> $, ^ -> $ ]]
rules:
  custom:
    - name: same-exrs
      pattern: 'Q'
      result: '$'