def empty
import lawful-bytes@0.1.1.0/bytes.bend as Bytesimport 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)}
import lawful-bytes@0.1.1.0/bytes.bend as Bytesimport 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)}