Ws.Ws.len.go: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/ws.bend as Ws
Lines 62-71 of bend-kube-runtime@0.2.0.0/src/ws.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/ws.bend&start_line=62&end_line=71

import Base

def Ws.len.go(+n: U32, small: Bool, mid: Bool) -> List<&2, U32>:
  match small mid:
    case True{} True{}:
      [U32.or(128, n)]
    case True{} False{}:
      [U32.or(128, n)]
    case False{} True{}:
      [254, Ws.byte(n, 1n), Ws.byte(n, 0n)]
    case False{} False{}:
      [255, 0, 0, 0, 0, Ws.byte(n, 3n), Ws.byte(n, 2n), Ws.byte(n, 1n), Ws.byte(n, 0n)]

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.or
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/ws.bend&name=Ws.byte