~/jendhub

def Tag.of.w3

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

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

209def Tag.of.w3(+len: U32, +w0: U32, +w1: U32, +w2: U32, r: Array<U32> & U32) -> Bytes.Bytes & Tag:
210  (a, +w3) = r
211  (Bytes.Bytes{len, a}, Tag{len, w0, w1, w2, w3})

Uses (6)

Used by (1)