eo-phi-normalizer-3.0.0: data/0.49.4/org/eolang/true.phi

{⟦
  org() ↦ ⟦
    eolang() ↦ ⟦
      true() ↦ ⟦
        φ ↦ Φ̇.bytes(⟦ Δ ⤍ 01- ⟧),
        not ↦ Φ̇.false,
        if(left, right) ↦ ⟦
          φ ↦ ξ.left
        ⟧,
        and(x) ↦ ⟦
          φ ↦ Φ̇.bytes(⟦ Δ ⤍ 01- ⟧).eq(ξ.x)
        ⟧,
        or(x) ↦ ⟦
          φ ↦ ξ.ρ
        ⟧
      ⟧,
      λ ⤍ Package
    ⟧,
    λ ⤍ Package
  ⟧
⟧}