def size

import lawful-bytes@0.1.1.0/defs.bend as Defs

import Base

27# The number of bytes in use.
28def size(b: Bytes) -> Nat:
29  Bytes{len, buf} = b
30  U32.to_nat(len)

Uses (3)