{⟦
  org ↦ ⟦
    eolang ↦ ⟦
      cti(delegate, level, message) ↦ ⟦
        φ ↦ ξ.delegate
      ⟧,
      λ ⤍ Package
    ⟧,
    λ ⤍ Package
  ⟧
⟧}