def Ws.len.go

bend-kube-runtime@0.2.0.0 · src/ws.bend:62

import Base

62def Ws.len.go(+n: U32, small: Bool, mid: Bool) -> List<&2, U32>:
63  match small mid:
64    case True{} True{}:
65      [U32.or(128, n)]
66    case True{} False{}:
67      [U32.or(128, n)]
68    case False{} True{}:
69      [254, Ws.byte(n, 1n), Ws.byte(n, 0n)]
70    case False{} False{}:
71      [255, 0, 0, 0, 0, Ws.byte(n, 3n), Ws.byte(n, 2n), Ws.byte(n, 1n), Ws.byte(n, 0n)]