phino-0.0.152: test-resources/cst/to-salty-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 ↦ ⟦
      φ ↦ ∅,
      dead ↦ ⟦
        write ↦ ⟦
          buffer ↦ ∅,
          φ ↦ Φ.true
        ⟧
      ⟧
    ⟧
  ⟧