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