def header.ext16

bend-kit-websocket@0.4.0.0 · websocket.bend:418

import Base

418def header.ext16(t: List<&2, U32>, +masked: Bool, +b0: U32, +m: Bool) -> Header:
419  match t:
420    case Con{+x, Con{+y, r}}:
421      header.key(m, r, masked, b0, 4, 0, ((x << 8n) .|. y : U32))
422    case _:
423      HNeed{}