eo-phi-normalizer-1.0.0: data/0.38.4/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 ↦ ⟦
φ ↦ Φ.org.eolang.false,
x ↦ ∅
⟧,
lt ↦ ⟦
φ ↦ Φ.org.eolang.false,
x ↦ ∅
⟧,
lte ↦ ⟦
φ ↦ Φ.org.eolang.false,
x ↦ ∅
⟧,
gt ↦ ⟦
φ ↦ Φ.org.eolang.false,
x ↦ ∅
⟧,
gte ↦ ⟦
φ ↦ Φ.org.eolang.false,
x ↦ ∅
⟧,
times ↦ ⟦
φ ↦ ξ.ρ,
x ↦ ∅
⟧,
plus ↦ ⟦
φ ↦ ξ.ρ,
x ↦ ∅
⟧,
neg ↦ ⟦
φ ↦ ξ.ρ
⟧,
minus ↦ ⟦
φ ↦ ξ.ρ,
x ↦ ∅
⟧,
div ↦ ⟦
φ ↦ ξ.ρ,
x ↦ ∅
⟧
⟧,
λ ⤍ Package
⟧,
λ ⤍ Package
⟧
⟧
}