def Tag.of
import bend-kit-migrate@0.3.0.0/migrate.bend as Migrateimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
225# The bytes back, and their tag. Bytes past 16 are not read, but the length still differs.
226def Tag.of(b: Bytes.Bytes) -> Bytes.Bytes & Tag:
227 Bytes.Bytes{+len, buf} = b
228 +n = Bytes.words(len)
229 Tag.of.w0(len, n, Tag.word(U32.is_lt(0, n), buf, 0))