~/jendhub

def head

bend-kit-runner@0.13.0.1 · runner.bend:471

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

471def head(+tag: U32, +a: Nat, +c: Nat) -> Bytes.Bytes:
472  put.u64(put.u64(Bytes.set.u32le(Bytes.new(20), 0, tag), 4, a), 12, c)

Uses (6)

Used by (1)