def empty

lawful-bytes@0.1.1.0 · bytes.bend:11

import lawful-bytes@0.1.1.0/bytes.bend as Bytes
import Base
import lawful-bytes@0.1.1.0/defs.bend as D

11# An empty Bytes with room for 4 * 2^d bytes.
12def empty(+d: Nat) -> D.Bytes:
13  D.Bytes{0, Array.new(U32, d, 0)}

Uses (4)

Used by (8)