def encode.one

import bolt@1.27.0.0/src/lsp/frame.bend as Frame

import Base

81def encode.one(+xx: U32, rest: List<&2, U32>) -> List<&2, U32>:
82  encode.char(width(xx), xx, rest)

Uses (4)