eo-phi-normalizer-0.4.0: data/0.37.0/org/eolang/malloc.phi
{
⟦
org ↦ ⟦
eolang ↦ ⟦
malloc ↦ ⟦
for ↦ ⟦
object ↦ ∅,
scope ↦ ∅,
bts ↦ Φ.org.eolang.dataized(
α0 ↦ ξ.object
).as-bytes,
φ ↦ ξ.σ.of(
α0 ↦ ξ.bts.size,
α1 ↦ ⟦
m ↦ ∅,
φ ↦ Φ.org.eolang.seq(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.m.write(
α0 ↦ Φ.org.eolang.int(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
),
α1 ↦ ξ.σ.bts
)
),
α1 ↦ ξ.σ.scope(
α0 ↦ ξ.m
)
)
)
⟧
)
⟧,
of ↦ ⟦
size ↦ ∅,
scope ↦ ∅,
φ ↦ ⟦
λ ⤍ Lorg_eolang_malloc_of_φ
⟧,
allocated ↦ ⟦
id ↦ ∅,
size ↦ ξ.ρ.size,
φ ↦ ξ.get,
read ↦ ⟦
λ ⤍ Lorg_eolang_malloc_of_allocated_read,
offset ↦ ∅,
length ↦ ∅
⟧,
write ↦ ⟦
λ ⤍ Lorg_eolang_malloc_of_allocated_write,
offset ↦ ∅,
data ↦ ∅
⟧,
get ↦ ⟦
φ ↦ ξ.ρ.read(
α0 ↦ Φ.org.eolang.int(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
),
α1 ↦ ξ.ρ.size
)
⟧,
put ↦ ⟦
object ↦ ∅,
φ ↦ Φ.org.eolang.seq(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.ρ.write(
α0 ↦ Φ.org.eolang.int(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
),
α1 ↦ ξ.object
)
),
α1 ↦ ξ.ρ.get
)
)
⟧
⟧
⟧
⟧,
λ ⤍ Package
⟧,
λ ⤍ Package
⟧
⟧
}