def Tag.bytes

bend-kit-migrate@0.3.0.0 · migrate.bend:238

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

238def Tag.bytes(t: Tag) -> Bytes.Bytes:
239  Tag{+len, +w0, +w1, +w2, +w3} = t
240  +n = Bytes.words(len)
241  Bytes.Bytes{len, Tag.set(U32.is_lt(3, n), Tag.set(U32.is_lt(2, n), Tag.set(U32.is_lt(1, n), Tag.set(U32.is_lt(0, n), Bytes.alloc(len), 0, w0), 1, w1), 2, w2), 3, w3)}