~/jendhub

def Tag.of.w1

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

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

217def Tag.of.w1(+len: U32, +n: U32, +w0: U32, r: Array<U32> & U32) -> Bytes.Bytes & Tag:
218  (a, +w1) = r
219  Tag.of.w2(len, n, w0, w1, Tag.word(U32.is_lt(2, n), a, 2))

Uses (9)

Used by (1)