Bytes.get.u16be: def of bend-kit-bytes@0.3.3.0
Import: import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
Lines 189-192 of bend-kit-bytes@0.3.3.0/bytes.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&start_line=189&end_line=192

import Base

# Unsigned integers at byte i, or None when they run past len.
# be: most significant byte first (network order); le: least significant first.
def get.u16be(b: Bytes, +i: U32) -> Bytes & Maybe<&2, U32>:
  uint(b, i, 2, True{})

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=uint