phino-0.0.152: test-resources/cst/to-salty-packs/application.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
# yamllint disable rule:line-length
---
expression: |
  [[ x -> Q.y(z -> "hey", b -> 1) ]]
result: |-
  ⟦
    x ↦ Φ.y(
      z ↦ Φ.string(
        φ ↦ Φ.bytes(
          φ ↦ ⟦
            Δ ⤍ 68-65-79
          ⟧
        )
      )
    )(
      b ↦ Φ.number(
        φ ↦ Φ.bytes(
          φ ↦ ⟦
            Δ ⤍ 3F-F0-00-00-00-00-00-00
          ⟧
        )
      )
    )
  ⟧