phino-0.0.152: test-resources/rewriter-packs/custom/replaces-formation-in-one-cycle.yaml
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
repeat: 1
must: 1
input: |
[[
x -> "hello",
y -> "world",
z -> "!"
]]
output: |
[[
x -> ?,
y -> ?,
z -> ?
]]
rules:
custom:
- name: tau to void
pattern: |
[[ !B1, !t1 -> !e1, !B2 ]]
result: |
[[ !B1, !t1 -> ?, !B2 ]]