desugares.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
input: |
  [[
    foo ↦ ⟦
      x -> 4294967295
    ⟧
  ]]
output: |-
  ⟦
    foo ↦ ⟦
      x ↦ Φ.number(
        φ ↦ Φ.bytes(
          φ ↦ ⟦ Δ ⤍ 41-EF-FF-FF-FF-E0-00-00 ⟧
        )
      )
    ⟧
  ⟧