eq-to-rho.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
expression: '[[ ^ -> Q.x ]]'
pattern: '[[ !t1 -> !e1 ]]'
condition:
  eq:
    - '!t1'
    - '^'