def decode.more

bolt@1.27.0.0 · src/lsp/frame.bend:29

import Base

29def decode.more(left: Nat, +acc: U32, out: List<&2, Char>) -> Dec:
30  match left:
31    case 0n:
32      Dec{0n, 0, Char.from_u32(acc) <> out}
33    case 1n+p:
34      Dec{1n+p, acc, out}