phino-0.0.152: test-resources/cst/printing-packs/formation-sugar-after-inline-voids.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
# yamllint disable rule:line-length
---
expression: |
  ⟦
    output(φ) ↦ ⟦
      write(buffer) ↦ ⟦ φ ↦ Φ.true ⟧
    ⟧:dead
  ⟧
result: |-
  ⟦ output(φ) ↦ ⟦ write(buffer) ↦ Φ.true:φ ⟧:dead ⟧