def be16_at

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes

import Base

191def be16_at(xs: List<&2, U32>, i: Nat) -> Maybe<&2, U32>:
192  be16.head(drop(i, xs))

Uses (6)