eo-phi-normalizer-0.4.0: data/0.36.0/org/eolang/nan.phi
{
⟦
org ↦ ⟦
eolang ↦ ⟦
nan ↦ ⟦
φ ↦ Φ.org.eolang.float(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
).div(
α0 ↦ Φ.org.eolang.float(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
)
),
eq ↦ ⟦
x ↦ ∅,
φ ↦ Φ.org.eolang.bool(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-
)
)
⟧,
lt ↦ ⟦
x ↦ ∅,
φ ↦ Φ.org.eolang.bool(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-
)
)
⟧,
lte ↦ ⟦
x ↦ ∅,
φ ↦ Φ.org.eolang.bool(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-
)
)
⟧,
gt ↦ ⟦
x ↦ ∅,
φ ↦ Φ.org.eolang.bool(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-
)
)
⟧,
gte ↦ ⟦
x ↦ ∅,
φ ↦ Φ.org.eolang.bool(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-
)
)
⟧,
times ↦ ⟦
x ↦ ∅,
φ ↦ ξ.σ
⟧,
plus ↦ ⟦
x ↦ ∅,
φ ↦ ξ.σ
⟧,
neg ↦ ⟦
φ ↦ ξ.σ
⟧,
minus ↦ ⟦
x ↦ ∅,
φ ↦ ξ.σ
⟧,
div ↦ ⟦
x ↦ ∅,
φ ↦ ξ.σ
⟧
⟧,
λ ⤍ Package
⟧,
λ ⤍ Package
⟧
⟧
}