phino-0.0.152: test-resources/rewriter-packs/basic/copy-with-tail.yaml
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- rules: basic: ['copy'] input: | ⟦ a ↦ ⟦ b ↦ ∅ ⟧ (b ↦ ⟦⟧).a ⟧ output: |- ⟦⟧:b.a:a
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- rules: basic: ['copy'] input: | ⟦ a ↦ ⟦ b ↦ ∅ ⟧ (b ↦ ⟦⟧).a ⟧ output: |- ⟦⟧:b.a:a