phino-0.0.152: test-resources/rewriter-packs/custom/random-tau-mints-fresh.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
input: |
  ⟦ x -> "foo" ⟧
output: |-
  ⟦ x -> "foo", a🌵0 -> ⟦⟧ ⟧
rules:
  custom:
    - name: append fresh tau
      pattern: |
        [[ x -> !e1 ]]
      result: |
        [[ x -> !e1, !t1 -> [[ ]] ]]
      where:
        - meta: '!t1'
          function: random-tau