eo-phi-normalizer-2.0.0: data/0.41.2/org/eolang/seq.phi
{
⟦
org ↦ ⟦
eolang ↦ ⟦
seq ↦ ⟦
steps ↦ ∅,
φ ↦ ξ.steps.length.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
)
).if(
α0 ↦ Φ.org.eolang.true,
α1 ↦ ξ.loop(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
)
)
),
max-len ↦ Φ.org.eolang.dataized(
α0 ↦ ξ.steps.length.minus(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 3F-F0-00-00-00-00-00-00
)
)
)
).as-bytes,
loop ↦ ⟦
index ↦ ∅,
φ ↦ ξ.index.lt(
α0 ↦ ξ.ρ.max-len
).and(
α0 ↦ Φ.org.eolang.dataized(
α0 ↦ ξ.ρ.steps.at(
α0 ↦ ξ.index
)
).as-bool.or(
α0 ↦ Φ.org.eolang.true
)
).if(
α0 ↦ ξ.ρ.loop(
α0 ↦ ξ.index.plus(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 3F-F0-00-00-00-00-00-00
)
)
)
),
α1 ↦ ξ.ρ.steps.at(
α0 ↦ ξ.index
)
)
⟧
⟧,
λ ⤍ Package
⟧,
λ ⤍ Package
⟧
⟧
}