packages feed

phino-0.0.152: test-resources/morph-deep-packs/keeps-the-answer-of-the-last-atom-in-a-chain.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
# Two firings down a chain of dispatches, and what stands is the symbol the
# last of them minted: the first is what the second brought down.
location: 'Q.@'
model: true
symbolic: true
input: '[[ x -> 5.plus( 6 ).plus( 7 ) ]]'
result: |-
  ⟦
    φ ↦ 𝜎2:λ,
    as-bytes ↦ φ,
    plus(ρ, x) ↦ L_number_plus:λ,
    times(ρ, x) ↦ L_number_times:λ,
    div(ρ, x) ↦ L_number_div:λ,
    gt(ρ, x) ↦ L_number_gt:λ,
    eq(ρ, x) ↦ ρ.as-bytes.eq( x.as-bytes ):φ,
    nope(ρ) ↦ L_number_nope:λ
  ⟧:x